Multi-valued model checking games
From MaRDI portal
Publication:414899
DOI10.1016/j.jcss.2011.05.003zbMath1257.68105MaRDI QIDQ414899
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
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