Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325836zbMATHOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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)

Recommendations

• The complexity of probabilistic verification
• Probabilistic verification
• Verification of Probabilistic Programs
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Bounded model checking for probabilistic programs

Cited in

(13)

• An assertion-based program logic for probabilistic programs
• Probabilistic verification
• Latticed \(k\)-induction with an application to probabilistic programs
• Verification of Probabilistic Programs
• Verifying quantitative temporal properties of procedural programs
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• FM 2005: Formal Methods
• Linear-invariant generation for probabilistic programs: automated support for proof-based methods
• Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
• Weighted versus Probabilistic Logics
• Bounded model checking for probabilistic programs
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1500556 (Why is no real title available?)

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)