Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation.
Mbarka SoualhiaFoutse KhomhSofiène TaharPublished in: SCSS (2021)
Keyphrases
- model checking
- temporal logic
- dynamic analysis
- abstract interpretation
- finite state machines
- finite state
- static analysis
- formal verification
- verification method
- asynchronous circuits
- partial order reduction
- multi agent systems
- reachability analysis
- process algebra
- epistemic logic
- binary decision diagrams
- formal specification
- reverse engineering
- open source