Validation of Stochastic Systems
DOI10.1007/B98484zbMATH Open1203.68094OpenAlexW657718082MaRDI QIDQ5325836FDOQ5325836
Benedikt Bollig, Martin Leucker
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
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (6)
- Weighted versus Probabilistic Logics
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- An assertion-based program logic for probabilistic programs
- Probabilistic verification
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Title not available (Why is that?)
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 Q5325836)
