PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

First Page		Document Content
Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain		PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 274,08 KB Share Document on Facebook

	FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence DocID: 1xVnb - View Document
	Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln DocID: 1xVb5 - View Document
	PDF Document DocID: 1xHRi - View Document
	PDF Document DocID: 1xcjX - View Document
	DOC Document DocID: 1wuWv - View Document