Sematics-Driven Decompositions for the Verification of Distributed Programs.
Limor FixNissim FrancezOrna GrumbergPublished in: Programming Concepts and Methods (1990)
Keyphrases
- cooperative
- distributed systems
- symbolic execution
- distributed environment
- hardware designs
- data driven
- computer programs
- fault tolerant
- multi agent
- distributed architecture
- computing environments
- computer networks
- model checking
- singular value decomposition
- static analysis
- lightweight
- real time
- functional verification