Static Analysis of Real-Time Distributed Systems.
Leo Yuhsiang LiuR. K. ShyamasundarPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- distributed systems
- static analysis
- real time
- real time systems
- dynamic analysis
- fault tolerant
- load balancing
- distributed environment
- source code
- fault tolerance
- symbolic execution
- mobile agents
- distributed computing
- geographically distributed
- operating system
- distributed database systems
- deadlock detection
- regular expressions
- abstract interpretation
- databases
- data replication
- database systems
- software development environments
- concurrent systems
- artificial intelligence
- response time
- test suite
- database
- error rate