PRISM Model Checker
PRISM is a tool for formally verifying the correctness of probabilistic systems.
- 5
- Projects
- 1
- Years accepted
- 5
- In 2016
Projects by year
52016
5 acceptedShow
Enhanced Graph Plotting and General GUI Improvements in Prism
Accepted project · by 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...
Prism is a probabilistic model checker, by which, the users can model and analyse real time systems. Prism provides its own modelling language. A...
In this project the multi-objective mean-payoff properties in Markov decision process are to be added into Prism, which is a probabilistic model...
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
Accepted project · by Maximilian Probst
During the project the current model construction will be analysed in regard to performance(i.e. reachability of multiple initial states, scalability...
