A status protocol for system-operation in a fault-tolerant system - Verification and testing with SPIN.
Carl BergenhemPublished in: ETFA (2012)
Keyphrases
- fault tolerant
- fault tolerance
- key distribution
- cryptographic protocols
- mobile agent system
- protocol specification
- distributed systems
- formal verification
- symbolic execution
- test generation
- high assurance
- load balancing
- model checking
- formal analysis
- high availability
- security protocols
- read and write operations
- safety critical
- test cases
- state machine
- interconnection networks
- multistage
- fault isolation
- multi agent systems
- software development
- distributed database systems