Lazy Synthesis

DOI10.1007/978-3-642-27940-9_15zbMath1326.68183OpenAlexW2911462334MaRDI QIDQ2891413

Swen Jacobs, Bernd Finkbeiner

Publication date: 15 June 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Synchronous counting and computational algorithm design, Tableaux for realizability of safety specifications, Encodings of Bounded Synthesis, A symbolic algorithm for lazy synthesis of eager strategies, Parameterized synthesis of self-stabilizing protocols in symmetric networks, Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

Uses Software

• CUDD
• z3

Cites Work

• Unnamed Item
• The complexity of two-player games of incomplete information
• Abstraction Refinement for Games with Incomplete Information.
• Bounded Synthesis