Finite horizon analysis of Markov chains with the Mur verifier

DOI10.1007/B93958MaRDI QIDQ5897081zbMATH OpenOpenAlexFDO

Authors Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Publication date 5 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b93958

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Methods in Computer-Aided Design
• Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
• Approximate verification of the symbolic dynamics of Markov chains
• scientific article; zbMATH DE number 1538048
• Approximate verification of the symbolic dynamics of Markov chains

Cited in

(4)

• Model checking finite-horizon Markov chains with probabilistic inference
• A Retrospective on Murϕ
• Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
• Formal Methods in Computer-Aided Design

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Finite horizon analysis of Markov chains with the Mur\(\varphi \) verifier

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