What is a software model checker?
How does a software model checker compare to conventional testing?
Can a software model checker find all bugs?
