Synthesis of asynchronous reactive programs from temporal specifications

DOI10.1007/978-3-319-96145-3_20zbMath1511.68068MaRDI QIDQ6045013

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

Publication date: 26 May 2023

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

Mathematics Subject Classification ID

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

Related Items (2)

Adapting behaviors via reactive synthesis ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control

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