Welcome to RPMC - prob. MC mit exakter Arithmetik project!

RPMC is a model checker for probabilistic transition systems using exact rationals. Its general purpose is the investigation of the impact of rounding in probabilistic model checking.

Latest News
Neue Funktionen
    Alexander Kortus - 2007-07-24 13:39

Project Summary
Tracker Tracker

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

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

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

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

Forums Forums ( 2 messages in 2 forums )
Docs Doc Manager
Mail Lists Mailing Lists ( 1 public lists )
Tasks Task Manager
  - To Do
  - Next Release
Surveys Surveys ( 0 surveys )
SCM SCM Tree ( commits, adds )
FTP Released Files

 

 

Powered By GForge Collaborative Development Environment