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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

Recommendations

• Bounded Model Checking for Partial Kripke Structures 👍 👎
• Model checking for a class of weighted automata 👍 👎
• Constraining cycle alternations in model checking for interval temporal logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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)