Software model checking

Abstract

We survey recent progress in software model checking.

DOI: 10.1145/1592434.1592438

Extracted Key Phrases

Showing 1-9 of 9 references

Invariant synthesis in combination theories

  • D Beyer, T Henzinger, R Majumdar, Rybalchenko And
  • 2007
Highly Influential
5 Excerpts
Showing 1-10 of 129 extracted citations
0204060200920102011201220132014201520162017
Citations per Year

215 Citations

Semantic Scholar estimates that this publication has received between 161 and 290 citations based on the available data.

See our FAQ for additional information.