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

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

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)

Cited In (9)

• 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
• Verification of Probabilistic Programs
• FM 2005: Formal Methods
• Title not available (Why is that?)
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

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)