Enhanced Graph Plotting and General GUI Improvements in Prism
Contributor: Muhammad Omer Saeed
Prism is a tool for probabilistic model checking. It is categorized as a formal verification system tool for the modelling and analysis of systems...
Science and medicine
PRISM Model Checker
PRISM is a tool for formally verifying the correctness of probabilistic systems.
Technologies
C++Java
Topics
probabilistic modelsscienceverification
- Total projects
- 5
- Years participating
- 1
- Most recent
- 2016
Participation history
Historical projects
Enhanced Strategy Functionality for PRISM
Contributor: Ganindu
Prism is a probabilistic model checker, by which, the users can model and analyse real time systems. Prism provides its own modelling language. A...
Extended support for mean-payoff properties
Contributor: christopherZ
In this project the multi-objective mean-payoff properties in Markov decision process are to be added into Prism, which is a probabilistic model...
Exact Solution Methods
Contributor: Nicolas Del Piano
Nowadays, most floating point computations are performed in double precision – with a mantissa of 53 bits. Nevertheless, depending on the application...
Refactoring and optimizing model construction for the explicit engine
Contributor: Maximilian Probst
During the project the current model construction will be analysed in regard to performance(i.e. reachability of multiple initial states, scalability...