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. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 250 CITATIONS

Executive Summaries in Software Model Checking

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Applying software model checking to PALS systems

  • 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)
  • 2014
VIEW 13 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Loop invariants: Analysis, classification, and examples

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Investigating the non-termination of affine loops

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A verification method for web services combination based on abstract and refinement technology

  • 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet)
  • 2012
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Effective word-level interpolation for software verification

  • 2011 Formal Methods in Computer-Aided Design (FMCAD)
  • 2011
VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Scalable and scope-bounded software verification in Varvel

  • Automated Software Engineering
  • 2014
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2008
2019

CITATION STATISTICS

  • 14 Highly Influenced Citations

  • Averaged 19 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Modular verification of software components in C

  • 25th International Conference on Software Engineering, 2003. Proceedings.
  • 2003
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Extended Static Checking for Java

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

The Model Checker SPIN

  • IEEE Trans. Software Eng.
  • 1997
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Symbolic model checking

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

CUTE: a concolic unit testing engine for C

  • ESEC/SIGSOFT FSE
  • 2005
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL