Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree BMX - BMC of Blackbox Designs
 
 
Summary Docs Surveys SCM Files
 

BMX is a Bounded Model Checker for blackbox designs relying on 01X-logic and QBF.


  • DFG TransRegio/SFB AVACS: S1
Registered: 2007-09-07 09:43
Activity Percentile: 0%
View project activity statistics.
View list of RSS feeds available for this project 
Developer Info
Project Admins:
Marc Herbstritt

[View Members]

[Request to join]

 

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

Public Areas
Home Page Project Home Page
Docs DocManager: Project Documentation
Surveys Surveys ( 0 surveys )
SCM SCM Repository (SVN: 0 updates, 0 adds)
Anonymous FTP SpaceAnonymous FTP Space


Powered By GForge Collaborative Development Environment