Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.
Sam OwreJohn M. RushbyNatarajan ShankarFriedrich W. von HenkePublished in: FME (1993)
Keyphrases
- lessons learned
- fault tolerant
- formal verification
- fault tolerance
- model checking
- interconnection networks
- case study
- future directions
- distributed systems
- model checker
- automated verification
- bounded model checking
- load balancing
- symbolic model checking
- high availability
- program slicing
- state machine
- participatory design
- high assurance
- temporal logic
- source code
- database systems