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)
Related Phrases
Related Words