Log In
New Account 		  
 
Home
My Page
Bandera Environment Generator
      
 
 
Summary
Forums
Tracker
Lists
Tasks
Docs
Surveys
News
CVS
Files
                    
 

Bandera Environment Generator (BEG) enables modular model checking of Java fragments by generating universal environment models, synthesizing models from user specs, or extracting models from environment implementation.


This project has not yet categorized itself in the Trove Software Map.

Registered: 2003-10-06 17:10
Activity Percentile: 0%
View project activity statistics.

Developer Info
Project Admins:
Oksana Tkachuk
Matt Dwyer
Todd Wallentine
Developers:
7 [View Members]

 

 

Latest File Releases
Package Version Date Notes / Monitor Download
This Project Has Not Released Any Files

 

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 12 open /12 total )
Bug Tracking System

 - Support Requests ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 8 open /8 total )
Patch Tracking System

 - Feature Requests ( 0 open /0 total )
Feature Request Tracking System

Forums Public Forums ( 2 messages in 2 forum )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 0 public mailing lists)
Tasks Task Manager
There are no public subprojects available
Surveys Surveys ( 0 surveys )
CVS CVS Repository ( 224 commits, 2,294 adds )
  - Browse CVS
Anonymous FTP SpaceAnonymous FTP Space

 

  
Latest News
No News Items Found