Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
software_verification_tools_overview [2008/12/05 15:17] vkuncak |
software_verification_tools_overview [2009/01/14 17:17] vkuncak |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| The paper [[http://www.cs.umd.edu/~jfoster/papers/issre04.pdf|A Comparison of Bug Finding Tools for Java]] is related to our project and was explained with those {{javabugs.pdf|slides}} during class. | The paper [[http://www.cs.umd.edu/~jfoster/papers/issre04.pdf|A Comparison of Bug Finding Tools for Java]] is related to our project and was explained with those {{javabugs.pdf|slides}} during class. | ||
| - | Additional tools: | + | Another tool list ([[http://www.daimi.au.dk/%7Eamoeller/SV/|from here]]) |
| * SLAM | * SLAM | ||
| * Java PathFinder | * Java PathFinder | ||
| Line 39: | Line 39: | ||
| * CUTE | * CUTE | ||
| * PALE | * PALE | ||
| + | * [[http://www.cprover.org/satabs/|SATABS]] | ||
| + | |||