Simulating Synthesized Automata from Decentralized Specifications in LTL.
Ryoungkwo KwonGihwon KwonPublished in: FCC (2014)
Keyphrases
- bounded model checking
- deterministic automata
- model checking
- finite automata
- transition systems
- finite state machines
- finite state
- temporal logic
- formal verification
- linear temporal logic
- formal specification
- model checker
- distributed systems
- concurrent systems
- multi agent
- delay insensitive
- reactive systems
- cellular automata
- cooperative
- probabilistic automata
- peer to peer
- high level
- description logics
- regular expressions
- tree automata
- hidden markov models
- control flow
- natural language
- lattice gas