Planning for change in a formal verification of the raft consensus protocol.
Doug WoosJames R. WilcoxSteve AntonZachary TatlockMichael D. ErnstThomas E. AndersonPublished in: CPP (2016)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- symbolic model checking
- model checking
- bounded model checking
- automated verification
- program slicing
- external events
- cryptographic protocols
- planning domains
- ai planning
- lightweight
- temporal logic
- planning process
- planning problems
- heuristic search
- authentication protocol
- formal methods
- dynamical systems