SAMC: a fast model checker for finding heisenbugs in distributed systems (demo).
Tanakorn LeesatapornwongsaHaryadi S. GunawiPublished in: ISSTA (2015)
Keyphrases
- distributed systems
- model checker
- model checking
- fault tolerant
- formal methods
- fault tolerance
- formal verification
- temporal logic
- formal specification
- distributed computing
- concurrent systems
- description language
- mobile agents
- geographically distributed
- data replication
- distributed environment
- specification language
- software architecture
- set theory
- distributed database systems
- test suite
- database
- deadlock detection
- case study