Construction of CFC-Programs by LTL-Specification.

D. A. Ryabukhin E. V. Kuzmin Valery A. Sokolov

Published in: Autom. Control. Comput. Sci. (2017)

Keyphrases

linear temporal logic
provably correct
transition systems
temporal logic
specification language
model checking
reactive systems
control flow
deterministic automata
learning algorithm
high level
data model
query language
formal specification
construction process