A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems

DOI10.1007/3-540-46691-6_30MaRDI QIDQ4501683zbMATH OpenFDO

Authors Michael Huth

Publication date 9 April 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46691-6_30

zbMATH Keywords

modal transition systemsprobabilistic specifications

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 2086523
• scientific article; zbMATH DE number 1863177
• scientific article; zbMATH DE number 2090706
• Modal transition systems: composition and LTL model checking
• Modal Abstractions of Concurrent Behaviour

Cited in

(3)

• A new model for model checking: cycle-weighted Kripke structure
• scientific article; zbMATH DE number 2086523 (Why is no real title available?)
• scientific article; zbMATH DE number 2087436 (Why is no real title available?)

This page was built for publication: A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems

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