Reactive Synthesis from Extended Bounded Response LTL Specifications.

Alessandro Cimatti Luca Geatti Nicola Gigante Angelo Montanari Stefano Tonetta

Published in: FMCAD (2020)

Keyphrases

bounded model checking
reactive systems
model checking
temporal logic
transition systems
formal specification
linear temporal logic
formal verification
specification language
information systems
domain independent
model checker
program synthesis
data model
delay insensitive
search algorithm
decision trees
website