Synthesis of Asynchronous Reactive Programs from Temporal Specifications.
Suguman BansalKedar S. NamjoshiYaniv Sa'arPublished in: CAV (1) (2018)
Keyphrases
- recursive programs
- delay insensitive
- program synthesis
- reactive systems
- control flow
- spatio temporal
- functional programs
- spatial and temporal
- state machines
- high level
- temporal data
- computer programs
- asynchronous circuits
- neural network
- temporal relations
- temporal constraints
- temporal reasoning
- temporal aspects
- temporal dimension
- temporal evolution
- control program
- temporal behavior
- formal specification
- data sets