Posted: December 17th, 2015

Deadlock Detector and Solver

I would like the layout of the paper to be as the following:

Abstract
1. Introduction
2. The Problem
3. Our Approach
4. The Model and the Algorithm
5. Experimental Evaluation
-Research Questions
-Methodology
-Benchmark
-Experiments
-Threats to Validity
-Results
6. Related Work
-Run-time Monitoring
-Model Checking
-Static Analysis
-Dynamic Analysis
7. Conclusion
8. References