Model checking stochastic automata

DOI10.1145/937555.937558MaRDI QIDQ5267439zbMATHOpenAlexFDO

Authors Jeremy W. Bryans, John Derrick, Howard Bowman

Publication date 13 June 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/937555.937558

zbMATH Keywords

model checkingdistributed systemsstochastic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Stochastic model checking
• Model Checking Stochastic Branching Processes
• Model Checking Probabilistic Pushdown Automata
• Model checking for probabilistic timed automata
• Publication:4503921
• scientific article; zbMATH DE number 2079828
• Model checking of probabilistic and nondeterministic systems
• Stochastic model checking of the stochastic quality calculus
• Model checking probabilistic systems
• Model Checking Software

Cited in

(8)

• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Extending Timed Process Algebra with Discrete Stochastic Time
• scientific article; zbMATH DE number 1569133 (Why is no real title available?)
• Calculating Probabilities of Real-Time Test Cases
• scientific article; zbMATH DE number 2079828 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• Categories of timed stochastic relations
• Model Checking Stochastic Branching Processes

This page was built for publication: Model checking stochastic automata

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