Quantitative static analysis of distributed systems.
Alessandra Di PierroChris HankinHerbert WiklickyPublished in: J. Funct. Program. (2005)
Keyphrases
- distributed systems
- static analysis
- dynamic analysis
- source code
- fault tolerant
- distributed environment
- symbolic execution
- fault tolerance
- distributed computing
- load balancing
- mobile agents
- regular expressions
- abstract interpretation
- java card
- geographically distributed
- distributed database systems
- security policies
- operating system
- concurrent systems
- test suite
- real time systems
- data replication
- loosely coupled
- training data
- network traffic
- pattern matching
- open source