Verifying Distributed Systems with Model Checking and Static Analysis.
María-del-Mar GallardoPedro MerinoPublished in: ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
- distributed systems
- model checking
- static analysis
- dynamic analysis
- temporal logic
- abstract interpretation
- formal specification
- fault tolerant
- source code
- model checker
- concurrent systems
- fault tolerance
- automated verification
- verification method
- formal verification
- temporal properties
- formal methods
- regular expressions
- distributed environment
- computation tree logic
- distributed database systems
- symbolic model checking
- test suite
- transition systems
- bounded model checking
- mobile agents
- real time systems
- database technology
- databases
- data replication