Testing Distributed Systems Through Symbolic Model Checking.
Gabriel KalyonThierry MassartCédric MeuterLaurent Van BeginPublished in: FORTE (2007)
Keyphrases
- distributed systems
- symbolic model checking
- formal verification
- model checking
- partial observability
- distributed environment
- fault tolerant
- message passing
- geographically distributed
- software architecture
- binary decision diagrams
- distributed database systems
- symbolic representation
- conformant planning
- domain specific
- test cases
- temporal logic
- model checker
- data structure
- test set
- object oriented