Verification of a Failure Management Protocol for Stateful IoT Applications.
Umar OzeerGwen SalaünLoïc LetondeurFrançois-Gaël OttogalliJean-Marc VincentPublished in: FMICS (2020)
Keyphrases
- management system
- cryptographic protocols
- protocol specification
- formal analysis
- model checking
- lightweight
- project management
- model checker
- information systems
- information management
- data management
- decision making
- cloud computing
- big data
- decision support
- formal methods
- data processing
- formal verification
- knowledge management
- communication protocols
- formal proof
- failure rate
- verification method
- failure recovery