Skip to search formSkip to main contentSkip to account menu

PRISM model checker

Known as: PRISM (model checker), Prism (disambiguation), Prism(model checker) 
PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
BluetoothFormal verificationGoogle Summer of CodeMarkov chain

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Secure Information Flow Analysis Using the PRISM Model Checker
Secure information flow checks whether sensitive information leak to public outputs of a program or not. It has been widely used… 
2018
2018
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol
Wireless networked control systems (WNCSs) with control loops closed over a wireless network are prevailing these days. However… 
2015
2015
Runtime Model Checking for SLA Compliance Monitoring and QoS Prediction
Sophisticated workflows, where multiple parties cooperate towards the achievement of a shared goal are today common. In a market… 
2014
2014
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
2014
2014
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
We propose a method to synthesise optimal values of timing parameters for probabilistic timed automata, in the sense that the… 
2013
2013
Reasoning about social commitments in the presence of uncertainty
Interaction among autonomous agents in Multi-Agent Systems (MASs) is a key aspect for agents to coordinate with one another… 
2011
2011
Formal verification of Time-Triggered Ethernet protocol using PRISM model checker
The Time-Triggered Ethernet (TTE) protocol is becoming widely used in safety-critical environments where failures cannot be… 
2010
2010
Towards Dynamic Adaptation of Probabilistic Systems
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special… 
2010
2010
A Model and Analysis of the AKAP Scaffold
2004
2004
Automatic Analysis of a Non-Repudiation Protocol
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)