Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications.

Rodica Condurache

Published in: SYNASC (2018)

Keyphrases

reactive systems
experimental evaluation
model checking
information flow
temporal logic
petri net
formal methods
transition systems
control flow
state machines
knowledge base
program synthesis