Overview

• About BEG
• People
• Related Projects

Documentation

• Using BEG
• API
• Papers
• Examples

Support

• Sourceforge Home
• Forums
• Bugs/Feature Requests

• Bandera: tool support for Java model checking
• Bogor: model checker for BIR programs
• MAnTA: tool support for estimation of coverage metrics in Bogor
• JPF: model checker for Java programs