Multi-valued model checking games

DOI10.1016/j.jcss.2011.05.003zbMath1257.68105OpenAlexW2037024461MaRDI 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 checkingmu-calculusgame-based settingmulti-valued semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Model checking computation tree logic over finite lattices ⋮ Modal transition system encoding of featured transition systems ⋮ Product line process theory ⋮ Model checking fuzzy computation tree logic ⋮ Multi-valued Verification of Strategic Ability ⋮ 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

This page was built for publication: Multi-valued model checking games