Model checking distributed systems by combining caching and process checkpointing.
Watcharin LeungwattanakitCyrille ArthoMasami HagiyaYoshinori TanabeMitsuharu YamamotoPublished in: ASE (2011)
Keyphrases
- distributed systems
- model checking
- concurrent systems
- fault tolerance
- temporal logic
- fault tolerant
- load balancing
- distributed environment
- data replication
- formal verification
- transition systems
- distributed database systems
- reachability analysis
- model checker
- process algebra
- computation tree logic
- formal specification
- real time systems
- artificial intelligence
- automated verification
- bounded model checking
- mobile agents
- timed automata
- verification method
- software development environments
- symbolic model checking
- software architecture
- asynchronous circuits
- epistemic logic
- service oriented architecture