Latticed Simulation Relations and Games

DOI10.1007/978-3-540-75596-8_23zbMath1141.68473OpenAlexW1639511381MaRDI QIDQ3510804

Yoad Lustig, Orna Kupferman

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_23

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Model Checking for Action Abstraction, Quasipolynomial computation of nested fixpoints, Don’t Know for Multi-valued Systems, A framework for compositional verification of multi-valued systems via abstraction-refinement

Cites Work

• Results on the propositional \(\mu\)-calculus
• Borel determinacy
• Fair simulation
• Lattice Automata
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item