Boppo

Boppo is a model checker for Boolean programs. Features:

• Partial Order Reduction
• Fixpoint detection using QBF
• Support for the constrain construct

 
It is a joint product of Byron Cook, Daniel Kroening, and Natasha Sharygina.
Download Boppo