Lazy synthesis

DOI10.1007/978-3-642-27940-9_15MaRDI QIDQ2891413zbMATH OpenOpenAlexFDO

Authors Bernd Finkbeiner, Swen Jacobs

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)

Recommendations

• Synthesis of Reactive(1) designs
• Verification and synthesis of reactive programs
• Verification, Model Checking, and Abstract Interpretation
• Bounded Synthesis
• Bounded synthesis of reactive programs

Cites work

• Abstraction refinement for games with incomplete information
• Bounded Synthesis
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• The complexity of two-player games of incomplete information

Cited in

(22)

• Synthesizing skeletons for reactive systems
• Vacuity in synthesis
• Lazy controller synthesis for monotone transition systems and directed safety specifications
• Live synthesis
• Lazy but effective functional synthesis
• A symbolic algorithm for lazy synthesis of eager strategies
• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Encodings of bounded synthesis
• Memory arbiter synthesis and verification for a radar memory interface card
• Algorithm synthesis by lazy thinking: using problem schemes
• Open Implication
• scientific article; zbMATH DE number 1332686 (Why is no real title available?)
• Synthesis of Reactive(1) designs
• Fast, flexible, and minimal CTL synthesis via SMT
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
• Dissecting \texttt{ltlsynt}
• Tableaux for realizability of safety specifications
• Automatic WSTS-based repair and deadlock detection of parameterized systems
• Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
• Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion
• Kleene getting lazy
• Synchronous counting and computational algorithm design

Describes a project that uses

Uses Software

• z3
• CUDD

This page was built for publication: Lazy synthesis

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