A framework for verification of software with time and probabilities

DOI10.1007/978-3-642-15297-9_4MaRDI QIDQ3588082zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• Abstraction Refinement for Probabilistic Software
• Quantitative abstraction refinement
• Automatic verification of real-time systems with discrete probability distributions.
• scientific article; zbMATH DE number 1759607
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Cited in

(3)

• Local abstraction refinement for probabilistic timed programs
• Quantitative abstraction refinement
• Abstraction Refinement for Probabilistic Software

Describes a project that uses

Uses Software

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

This page was built for publication: A framework for verification of software with time and probabilities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3588082)