Software model checking

@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}
}
We survey recent progress in software model checking. 

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 222 CITATIONS, ESTIMATED 43% COVERAGE

220 Citations

02040'10'13'16'19
Citations per Year
Semantic Scholar estimates that this publication has 220 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…