Forum Message
Tracker Item
FRS Release
Item Id:
MyGforge Home
Home
My Stuff
Users
Search
Projects
Snippets
Log in
|
Register new account
Bogor
Summary
Reporting
Search
Docs
Files
SVN
Home
»
Projects
»
Bogor
» Home
General Sections
Activity
Description
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.
Developer Info
Robby
Matt Dwyer
Sam Procter
Joey Dodds
Trove Categorization
Development Status: 3 - Alpha
Intended Audience: Developers,
Other Audience
License: KSU Academic License
Operating System: OS Independent
Programming Language: Java
Spoken Language: English
Topic: Debuggers
