Abstract Interpretation - Tools

Tools

  • AstrĂ©e
  • Abstract Rewriting Machine
  • Polyspace
  • CodeSonar
  • Coverity Prevent
  • Klocwork Insight
  • Parasoft Jtest
  • Parasoft C/C++test
  • Red Lizard's Goanna

Read more about this topic:  Abstract Interpretation

Famous quotes containing the word tools:

    “There is a great satisfaction in building good tools for other people to use.”
    —Freeman Dyson (b. 1923)

    “The study of tools as well as of books should have a place in the public schools. Tools, machinery, and the implements of the farm should be made familiar to every boy, and suitable industrial education should be furnished for every girl.”
    —Rutherford Birchard Hayes (1822–1893)

    “But lo! men have become the tools of their tools.”
    —Henry David Thoreau (1817–1862)