Model checking stochastic automata

DOI10.1145/937555.937558zbMATH Open1365.68316OpenAlexW2073841996MaRDI QIDQ5267439FDOQ5267439

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

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

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)

Cited In (8)

• Extending Timed Process Algebra with Discrete Stochastic Time
• Categories of timed stochastic relations
• Model Checking Stochastic Branching Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculating Probabilities of Real-Time Test Cases
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Title not available (Why is that?)

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)