Software model checking

Abstract

We survey recent progress in software model checking.

DOI: 10.1145/1592434.1592438

Extracted Key Phrases

11 Figures and Tables

0204060200920102011201220132014201520162017
Citations per Year

234 Citations

Semantic Scholar estimates that this publication has 234 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Jhala2009SoftwareMC, title={Software model checking}, author={Ranjit Jhala and Rupak Majumdar}, journal={ACM Comput. Surv.}, year={2009}, volume={41}, pages={21:1-21:54} }