A Framework for Verification of Software with Time and Probabilities

DOI10.1007/978-3-642-15297-9_4zbMath1290.68035OpenAlexW1545062007MaRDI QIDQ3588082

No author found.

Publication date: 10 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15297-9_4

Mathematics Subject Classification ID

Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Local abstraction refinement for probabilistic timed programs

Uses Software

• PRISM
• Kronos
• MRMC
• CEGAR
• Uppaal
• PROMELA
• SystemC
• SCOOT
• Pinapa

This page was built for publication: A Framework for Verification of Software with Time and Probabilities