Software model checking

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 135 extracted citations
Citations per Year

209 Citations

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

See our FAQ for additional information.