Formal verification of a distributed dynamic reconfiguration protocol.
William SchultzIan DardikStavros TripakisPublished in: CPP (2022)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- dynamic reconfiguration
- model checking
- lightweight
- distributed systems
- bounded model checking
- cryptographic protocols
- symbolic model checking
- automated verification
- wide area network
- peer to peer
- program slicing
- cooperative
- temporal logic
- multi agent
- software systems
- application specific
- formal methods
- group communication
- formal specification
- commit protocols
- multi party
- real time
- distributed environment
- integrity constraints
- object oriented
- web services