GR(1) synthesis for LTL specification patterns.

Shahar Maoz Jan Oliver Ringert

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

linear temporal logic
model checking
transition systems
database
temporal logic
knowledge base
design patterns
formal specification
data structure
search algorithm
sequential patterns
program synthesis
deterministic automata