Finite horizon analysis of Markov chains with the Mur verifier

DOI10.1007/B93958zbMATH Open1179.68092OpenAlexW219731125MaRDI QIDQ5897081FDOQ5897081

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

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

Mathematics Subject Classification ID

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

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

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)