Formal Verification of a Distributed Dynamic Reconfiguration Protocol.
William SchultzIan DardikStavros TripakisPublished in: CoRR (2021)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- dynamic reconfiguration
- model checking
- lightweight
- automated verification
- bounded model checking
- distributed systems
- mobile agents
- cooperative
- symbolic model checking
- wide area network
- group communication
- cryptographic protocols
- application specific
- multi agent
- temporal logic
- data integration
- artificial intelligence
- commit protocols
- distributed environment
- software architecture
- program slicing
- reinforcement learning