An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
Gerard J. HolzmannMargaret H. SmithPublished in: IEEE Trans. Software Eng. (2002)
Keyphrases
- distributed systems
- verification method
- probabilistic model
- real time
- knowledge base
- source code
- artificial intelligence
- software development
- computer systems
- operating system
- load balancing
- software architecture
- development process
- fault tolerant
- fault tolerance
- message passing
- distributed computing
- agent model
- database