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:

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

    “A life I didn’t choose
    chose me: even
    my tools are the wrong ones
    for what I have to do.”
    —Adrienne Rich (b. 1929)

    “Justice and truth are too such subtle points that our tools are too blunt to touch them accurately.”
    —Blaise Pascal (1623–1662)