Effective synthesis of asynchronous systems from GR(1) specifications

DOI10.1007/978-3-642-27940-9_19MaRDI QIDQ2891421zbMATH OpenOpenAlexFDO

Authors Uri Klein, Nir Piterman, Amir Pnueli

Publication date 15 June 2012

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

Full work available at URL http://hdl.handle.net/2381/10445

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of Asynchronous Systems
• Synthesis of asynchronous reactive programs from temporal specifications
• scientific article; zbMATH DE number 4124989
• Asynchronous system synthesis
• Synthesis of Reactive(1) designs

Cites work

• Effective synthesis of asynchronous systems from GR(1) specifications
• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• On the Merits of Temporal Testers
• Reasoning about infinite computations
• Receding horizon control for temporal logic specifications
• Solving Games Without Determinization
• Solving Sequential Conditions by Finite-State Strategies
• Synthesis of Asynchronous Systems
• The complementation problem for Büchi automata with applications to temporal logic
• Verification, Model Checking, and Abstract Interpretation

Cited in

(10)

• Asynchronous system synthesis
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
• Performance heuristics for GR(1) synthesis and related algorithms
• Effective synthesis of asynchronous systems from GR(1) specifications
• From concurrent multi-clock programs to deterministic asynchronous implementations
• Graph Games and Reactive Synthesis
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• Synthesis of Asynchronous Systems
• Revisiting Synthesis of GR(1) Specifications
• Synthesis of asynchronous reactive programs from temporal specifications

Describes a project that uses

Uses Software

• JTLV

This page was built for publication: Effective synthesis of asynchronous systems from GR(1) specifications

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