Gforge: RPMC - prob. MC mit exakter Arithmetik: Project Info

Log In
New Account

	Home			My Page			Project Tree			RPMC - prob. MC mit exakter Arithmetik

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.

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

Registered: 2007-07-23 16:19
Activity Percentile: 0%
View project activity statistics.
View list of RSS feeds available for this project

Developer Info

Project Admins:
Alexander Kortus
Ralf Wimmer

[View Members]

[Request to join]

Latest File Releases

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

[View All Project Files]

Public Areas

Project Home Page

Tracker

- 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

Public Forums ( 2 messages in 2 forums )

DocManager: Project Documentation

Mailing Lists ( 1 public mailing lists)

Task Manager
- To Do
- Next Release

Surveys ( 0 surveys )

SCM Repository (SVN: 0 updates, 0 adds)

Anonymous FTP Space