Welcome to Stochastic Bounded Model Checking project!

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

Latest News
No News Items Found

Project Summary
Tracker Tracker

 - Bugs ( 8 open / 17total )
Bug Tracking System

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

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

 - Feature Requests ( 8 open / 16total )
Feature Request Tracking System

Mail Lists Mailing Lists ( 1 public lists )
Tasks Task Manager
  - To Do
  - Next Release
SCM SCM Tree ( 188 commits, 25 adds )
FTP Released Files

 

 

Powered By GForge Collaborative Development Environment