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

DOI10.1007/s11704-009-0066-7zbMath1267.68148OpenAlexW2023733779MaRDI QIDQ351985

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

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

• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• A theory of timed automata
• On the expressivity and complexity of quantitative branching-time temporal logics
• Efficient timed model checking for discrete-time systems

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