Validation of Stochastic Systems

DOI10.1007/b98484zbMath1203.68102OpenAlexW657718082MaRDI QIDQ5325838

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

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

Related Items (5)

Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems ⋮ Probabilistic and Topological Semantics for Timed Automata ⋮ Calculating Probabilities of Real-Time Test Cases

Uses Software

• Kronos
• Uppaal

This page was built for publication: Validation of Stochastic Systems