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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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