Static Analysis of Real-time Distributed Systems.
Leo Yuhsiang LiuR. K. ShyamasundarPublished in: FTRTFT (1988)
Keyphrases
- distributed systems
- static analysis
- real time
- real time systems
- dynamic analysis
- source code
- fault tolerant
- operating system
- distributed environment
- geographically distributed
- distributed computing
- symbolic execution
- load balancing
- regular expressions
- java card
- fault tolerance
- mobile agents
- abstract interpretation
- concurrent systems
- data replication
- distributed database systems
- deadlock detection
- loosely coupled
- security policies
- distributed databases
- artificial intelligence
- test suite
- replicated data
- database