Clear all filters
End user applications
Infrastructure and cloud
machine learning (50)
web development (27)
PRISM Model Checker
PRISM is a tool for formally verifying the correctness of probabilistic systems.
Science and medicine
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
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
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
During the project the current model construction will be analysed in regard to performance(i.e. reachability of multiple initial states, scalability...