CTL* synthesis via LTL synthesis.

Roderick Bloem Sven Schewe Ayrat Khalimov

Published in: SYNT@CAV (2017)

Keyphrases

model checking
temporal logic
linear temporal logic
program synthesis
bounded model checking
database systems
databases
computer vision
case study
multiscale
concurrent systems