Multi-valued model checking games

DOI10.1016/j.jcss.2011.05.003zbMath1257.68105MaRDI QIDQ414899

Orna Grumberg, Sharon Shoham

Publication date: 11 May 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.05.003

zbMATH Keywords

model checking; mu-calculus; game-based setting; multi-valued semantics

Mathematics Subject Classification ID

91A80: Applications of game theory

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Multi-valued Verification of Strategic Ability, Model checking fuzzy computation tree logic, Model checking computation tree logic over finite lattices, Product line process theory, Simulation for lattice-valued doubly labeled transition systems, Modal transition system encoding of featured transition systems

Cites Work

• Data structures for symbolic multi-valued model-checking
• Local model checking in the modal mu-calculus
• A lattice-theoretical fixpoint theorem and its applications
• Quantitative solution of omega-regular games380872
• A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
• An automata-theoretic approach to branching-time model checking
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Verification, Model Checking, and Abstract Interpretation
• CONCUR 2003 - Concurrency Theory
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item