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:

    “Armies, though always the supporters and tools of absolute power for the time being, are always the destroyers of it too; by frequently changing the hands in which they think proper to lodge it.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “Man is a tool-using animal.... Without tools he is nothing, with tools he is all.”
    —Thomas Carlyle (1795–1881)

    “Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
    —Ludwig Wittgenstein (1889–1951)