Home My Page Projects Code Snippets Project Openings Bogor
Summary Activity Tasks Docs Surveys SCM Files oslc is [Off]

Project 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.

Project Info

No tag defined for this project

Registered: 2003-04-27 02:11
Activity Ranking: 2
View project Statistics or Activity
View list of RSS feeds available for this project. 
Latest File Releases
Package Version Date Notes Monitor Download
bogor bogor-1.2.20061023 October 23, 2006 bogor - Release Notes bogor - Monitor this package bogor bogor-1.2.20061023 - Download
Public Areas
There are no public subprojects available
 Surveys (0 surveys)
 SCM Repository (Subversion: 0 commits, 0 adds)