Context-Bounded Translations for Concurrent Software: An Empirical Evaluation

@inproceedings{Ghafari2010ContextBoundedTF,
  title={Context-Bounded Translations for Concurrent Software: An Empirical Evaluation},
  author={Naghmeh Ghafari and Alan J. Hu and Zvonimir Rakamaric},
  booktitle={SPIN},
  year={2010}
}
Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurre nt software. Two recent papers (in CAV 2008 and 2009) have proposed ingenious tran slatio approaches that promise much better scalability, backed by compelling, but differing, theoretical and conceptual advantages. Empirical evidence comp aring the translations, however, has been lacking. Furthermore, these papers focused exclusively on Boolean model checking… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS
16 Citations
30 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…