scientific article; zbMATH DE number 2042616

MaRDI QIDQ4450445zbMATH OpenFDO

Authors Beata Konikowska, Wojciech Penczek

Publication date 15 February 2004

zbMATH Keywords

model checkingmulti-valued logicCTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2104629
• scientific article; zbMATH DE number 1927565
• Computation tree logic model checking based on multi-valued possibility measures
• Automata, Languages and Programming
• Model checking computation tree logic over finite lattices

Cited in

(18)

• Computation tree logic model checking based on multi-valued possibility measures
• scientific article; zbMATH DE number 1905120 (Why is no real title available?)
• scientific article; zbMATH DE number 2104629 (Why is no real title available?)
• Extended full computation-tree logics for paraconsistent model checking
• Multi-valued model checking games
• Latticed simulation relations and games
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Model Checking Quantified Computation Tree Logic
• Multi-valued logic for static analysis and model checking
• Creating Büchi automata for multi-valued model checking
• scientific article; zbMATH DE number 1927565 (Why is no real title available?)
• Model checking computation tree logic over finite lattices
• Completeness and complexity of multi-modal CTL
• Multi-modal CTL: completeness, complexity, and an application
• Automata, Languages and Programming
• Latticed Simulation Relations and Games
• A Direct Algorithm for Multi-valued Bounded Model Checking
• Multi-valued verification of strategic ability

This page was built for publication:

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