Enhanced Graph Plotting and General GUI Improvements in Prism
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...
Enhanced Strategy Functionality for PRISM
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
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
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
Maximilian Probst
During the project the current model construction will be analysed in regard to performance(i.e. reachability of multiple initial states, scalability...
