Login / Signup
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
Salamah Salamah
Ann Q. Gates
Vladik Kreinovich
Steve Roach
Published in:
ATVA (2007)
Keyphrases
</>
bounded model checking
model checking
transition systems
pattern mining
databases
database
pattern analysis
formal verification
design patterns
deterministic automata
linear temporal logic
generation process
finite state machines
knowledge discovery
case study
social networks
real time