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