Bogor is a highly customizable and modular model checking framework aimed to ease the development of robust and efficient domain-specific model checkers for verification of dynamic and concurrent software.

• Development Status: 3 - Alpha
• Environment: Other Environment
• Intended Audience: Developers, Other Audience
• License: KSU Academic License
• Natural Language: English
• Operating System: OS Independent
• Programming Language: Java
• Topic: Debuggers