Teaching Rigorous Distributed Systems With Efficient Model Checking.
Ellis MichaelDoug WoosThomas E. AndersonMichael D. ErnstZachary TatlockPublished in: EuroSys (2019)
Keyphrases
- distributed systems
- model checking
- concurrent systems
- temporal logic
- distributed environment
- fault tolerant
- finite state
- formal verification
- temporal properties
- fault tolerance
- model checker
- automated verification
- transition systems
- formal specification
- load balancing
- process algebra
- reachability analysis
- timed automata
- bounded model checking
- symbolic model checking
- computation tree logic
- data replication
- distributed database systems
- epistemic logic
- verification method
- formal methods
- mobile agents
- artificial intelligence
- asynchronous circuits
- data availability
- real time systems
- software architecture
- response time