Work

PRISM 4.0: Verification of Probabilistic Real-Time Systems

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

DOI: 10.1007/978-3-642-22110-1_47

Authors: Marta Kwiatkowska, Gethin Norman, David Parker

Institutions: University of Oxford, University of Glasgow

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Austrian Science Fund

Award: Coordination: Rigorous Systems Engineering (RiSE)

OpenAlex ID: W1862398452

FWCI: 99.52

Cites: 14

Cited by: 2,490

Related to: 10