PRISM – An overview •  PRISM is a probabilistic model checker −  automatic verification of systems with stochastic behaviour −  e.g. due to unreliability, uncertainty, randomisation, … - PRISM model checker - Document - PDFSEARCH.IO

First Page	Meta Content
	PRISM – An overview •  PRISM is a probabilistic model checker −  automatic verification of systems with stochastic behaviour −  e.g. due to unreliability, uncertainty, randomisation, … Add to Reading List Document Date: 2012-05-10 10:07:18 Open Document File Size: 360,65 KB Share Result on Facebook

PRISM – An overview • PRISM is a probabilistic model checker − automatic verification of systems with stochastic behaviour − e.g. due to unreliability, uncertainty, randomisation, …Add to Reading List