Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Abstract elided by the publisher.
Related papers
- Combining Functional and Automata Synthesis to Discover Causal Reactive Programs POPL 2023
- Counter Example Guided Reactive Synthesis for LTL Modulo Theories* CAV 2025
- Synthesis of Asynchronous Reactive Programs from Temporal Specifications CAV 2018
- Verifying Hyperliveness CAV 2019
- Reactive Control Improvisation CAV 2018
- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications TACAS 2009
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis TACAS 2015
- Reactive Imperative Programming with Dataflow Constraints TOPLAS 2014