Check out the editorial in the latest Electronic Design Weekly to get a hint of what this week's word is about. Below is the latest but you can check archived EDW issues for prior Words of the Week. 

HINT: This type of software uses formal verification.