scientific article; zbMATH DE number 2042616

zbMATH Open1049.03026MaRDI QIDQ4450445FDOQ4450445

Authors: Beata Konikowska, Wojciech Penczek 

Publication date: 15 February 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

model checkingmulti-valued logicCTL

Mathematics Subject Classification ID

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

Cited In (18)

• Computation tree logic model checking based on multi-valued possibility measures
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Completeness and complexity of multi-modal CTL
• Model checking computation tree logic over finite lattices
• 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)