Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68102OpenAlexW657718082MaRDI QIDQ5325838FDOQ5325838

Authors Jeremy Sproston

Publication date 24 July 2009

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

Full work available at URL https://doi.org/10.1007/b98484

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking for probabilistic timed automata
• scientific article; zbMATH DE number 176728
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 1507207
• Symbolic model checking for probabilistic timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model checking linear-time properties of probabilistic systems
• Model checking of probabilistic and nondeterministic systems

Cited in

(19)

• Symbolic model checking for probabilistic timed automata
• Probabilistic real-time rewrite theories and their expressive power
• A comparison of time- and reward-bounded probabilistic model checking techniques
• Verification and control of probabilistic rectangular hybrid automata
• Multi-objective parameter synthesis in probabilistic hybrid systems
• Calculating Probabilities of Real-Time Test Cases
• scientific article; zbMATH DE number 7280017 (Why is no real title available?)
• Expressiveness and conciseness of timed automata for the verification of stochastic models
• Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• Model checking probabilistic real-time properties for service-oriented systems with service level agreements
• Probabilistic and prioritized models of timed CSP
• Efficient timed model checking for discrete-time systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Probabilistic and Topological Semantics for Timed Automata
• Statistical Model Checking for Networks of Priced Timed Automata
• Formal Modeling and Analysis of Timed Systems
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Model checking for probabilistic timed automata

Describes a project that uses

Uses Software

• Kronos
• Uppaal

This page was built for publication: Validation of Stochastic Systems

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