Abstract interpretation of game properties

DOI10.1007/978-3-540-45099-3_12MaRDI QIDQ2722062zbMATH OpenFDO

Authors Rupak Majumdar, Freddy Y. C. Mang, Thomas A. Henzinger, Jean-François Raskin

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_12

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Solving Games Via Three-Valued Abstraction Refinement
• Solving games via three-valued abstraction refinement
• Compositional Predicate Abstraction from Game Semantics
• Verification and refutation of probabilistic specifications via games
• Automated Technology for Verification and Analysis

Cited in

(20)

• Property preserving abstractions for the verification of concurrent systems
• An abstraction-refinement methodology for reasoning about network games
• Dynamic hierarchical reactive controller synthesis
• Gamifying program analysis
• Solving Games Via Three-Valued Abstraction Refinement
• Compositional Predicate Abstraction from Game Semantics
• A survey of stochastic -regular games
• scientific article; zbMATH DE number 4126676 (Why is no real title available?)
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• Combining forward and backward analyses of temporal properties
• An abstract schema for equivalence-checking games
• Falsifying safety properties through games on over-approximating models
• Assume-admissible synthesis
• Automated Technology for Verification and Analysis
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control
• Timed automata verification and synthesis via finite automata learning
• Timed automata verification and synthesis via finite automata learning
• Formal analysis of multiparty contract signing
• Deductive verification of alternating systems
• Solving games via three-valued abstraction refinement

This page was built for publication: Abstract interpretation of game properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722062)