Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.
Benjamin AminofSasha RubinIlina StoilkovskaJosef WidderFlorian ZulegerPublished in: VMCAI (2018)
Keyphrases
- model checking
- temporal logic
- reachability analysis
- deterministic finite automaton
- symbolic model checking
- distributed systems
- bounded model checking
- formal verification
- finite state
- computational complexity
- np complete
- artificial intelligence
- formal specification
- reactive systems
- finite state machines
- concurrent systems
- timed automata
- graph theory
- ordered binary decision diagrams
- alternating time temporal logic
- partial order reduction