AbsSynthe: abstract synthesis from succinct safety specifications.

Romain Brenguier Guillermo A. Pérez Jean-François Raskin Ocan Sankur

Published in: SYNT (2014)

Keyphrases

high level
state machines
formal specification
higher level
low level
database
data sets
program synthesis
data mining
delay insensitive