Formal verification of fault-tolerant software design: the CSP approach.
W. L. YeungS. A. SchneiderPublished in: Microprocess. Microsystems (2005)
Keyphrases
- software design
- fault tolerant
- formal verification
- constraint satisfaction problems
- fault tolerance
- model checking
- software engineering
- distributed systems
- model checker
- bounded model checking
- software development
- automated verification
- load balancing
- software systems
- symbolic model checking
- educational software
- constraint programming
- design patterns
- state machine
- object oriented design
- mobile agent system
- constraint networks
- safety critical
- interconnection networks