A new model for model checking: cycle-weighted Kripke structure

DOI10.1007/S11704-009-0066-7zbMATH Open1267.68148OpenAlexW2023733779MaRDI QIDQ351985FDOQ351985

Jiaqi Zhu, Chunxiang Xu, Zhongyuan Xu, Hanpin Wang

Publication date: 4 July 2013

Published in: Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-009-0066-7

Recommendations

• scientific article; zbMATH DE number 2086523
• Model checking for nondeterministic multi-valued Kripke structures
• scientific article; zbMATH DE number 1500661
• scientific article; zbMATH DE number 2087436
• Bounded Model Checking for Partial Kripke Structures
• Complexity of model checking for logics over Kripke models
• Model checking for a class of weighted automata
• Constraining cycle alternations in model checking for interval temporal logic
• scientific article

zbMATH Keywords

model checkingcomputation tree logic (CTL)Kripke structureweighted cycles

Mathematics Subject Classification ID

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

Cites Work

• A theory of timed automata
• Model-checking in dense real-time
• On the expressivity and complexity of quantitative branching-time temporal logics
• Efficient timed model checking for discrete-time systems
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A new model for model checking: cycle-weighted Kripke structure

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