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

DOI10.1007/S11704-009-0066-7MaRDI QIDQ351985zbMATH OpenOpenAlexFDO

Authors Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu

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)

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 DE number 2186291

Cites work

• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 177509 (Why is no real title available?)
• A theory of timed automata
• Efficient timed model checking for discrete-time systems
• Model-checking in dense real-time
• On the expressivity and complexity of quantitative branching-time temporal logics

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)