Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree Stochastic Bounded Model Checking
 
 
Summary Tracker Lists Tasks SCM Files
 

The goal of this project is to generate counterexamples for Markov chains using bounded model checking when invariant properties are violated.


  • DFG TransRegio/SFB AVACS: S3
Registered: 2008-10-09 11:16
Developer Info
Project Admins:
Ralf Wimmer
Developers:
Erika Abraham

[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
TrackerTracker

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

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

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

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

Lists Mailing Lists ( 1 public mailing lists)
Tasks Task Manager
  - To Do
  - Next Release
SCM SCM Repository (SVN: 0 updates, 0 adds)


Powered By GForge Collaborative Development Environment