SourceForge.net
Jump to main content
Jump to project navigation
Jump to downloads for The PRISM Probabilistic Model Checker
Log in
Create account
Community
Jobs
Help
The PRISM Probabilistic Model Checker
Summary
Web Site
Screenshots
News
Statistics
Tracker
Bugs
Feature Requests
Statistics
Search
Mailing Lists
Search
Forums
Help
Open Discussion
Statistics
Search
Code
CVS
CVS Browse
CVS Statistics
Services
Get Services
Documentation
Browse
Submit
Search
Tasks
The PRISM probabilistic model checker
At a glance ...
RSS
Details
Public
Related
News
Project Admins :
dave_parker
Developers :
3
Intended Audience :
Science/Research
License :
GNU General Public License (GPL)
Operating System :
OS Portable (Source code to work with many OS platforms)
Programming Language :
C++
,
Java
Topic :
Mathematics
User Interface :
Java Swing
,
Command-line
Project UNIX name : prism-mc
Registered : 2005-12-15 18:06
Activity Percentile (last week) : 36.65
View project activity
statistics
View list of
RSS feeds
available for this project
Bugs
: (4 open / 21 total)
Bug Tracking System
Feature Requests
: (17 open / 19 total)
Feature Request Tracking System
Public Forums
: (568 messages in 2 forums)
Mailing Lists
: (0 total)
CVS Repository
: (0 commits, 3 reads)
Browse CVS
IT++
Asymptote
Maxima -- GPL CAS based on DOE-MACSYMA
GNU Octave Repository
Automatically Tuned Linear Algebra Soft.
This project has not released any news articles.
Related Articles
Prism Glass Windows Making a Comeback
Programmer's Language-Aware Spell Checker?
Olin College — Re-Engineering Engineering
Sony Releases PS3 Back-Compat Checker
Have Mathematics Exams Become Easier?
Support
Site Status
Site Support
Project Support
Marketplace Support
Syndication Feeds / RSS
Community News
Project Releases
About
SourceForge.net
SourceForge, Inc.
Marketplace
Advertising
Jobs
©Copyright 1999-2008 -
SourceForge
, Inc., All Rights Reserved
Feedback
Legal
Help