Synthesis of asynchronous reactive programs from temporal specifications

DOI10.1007/978-3-319-96145-3_20MaRDI QIDQ6045013zbMATH OpenFDO

Authors Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

Publication date 26 May 2023

Published in Computer Aided Verification (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-96145-3_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Effective synthesis of asynchronous systems from GR(1) specifications
• Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 4124989
• Verification and synthesis of reactive programs
• Bounded synthesis of reactive programs

Cited in

(15)

• Asynchronous system synthesis
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
• Effective synthesis of asynchronous systems from GR(1) specifications
• Specifying stateful asynchronous properties for distributed programs
• Verifiable design of asynchronous software
• Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 177266 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1361120 (Why is no real title available?)
• scientific article; zbMATH DE number 1955907 (Why is no real title available?)
• Synchronizing the asynchronous
• Verification and synthesis of reactive programs
• Automated synthesis of asynchronizations
• Synthesis of compact strategies for coordination programs
• Adapting behaviors via reactive synthesis

This page was built for publication: Synthesis of asynchronous reactive programs from temporal specifications

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