Verification and behavior abstraction towards a tractable verification technique for large distributed systems.
Ulrich NitschePublished in: J. Syst. Softw. (1996)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerance
- fault tolerant
- model checking
- high assurance
- geographically distributed
- distributed computing
- load balancing
- operating system
- mobile agents
- hardware designs
- distributed databases
- petri net
- message passing
- formal verification
- query processing
- loosely coupled
- real time systems
- data replication
- database systems
- emergent behavior
- case study