Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
software_verification_tools_overview [2007/06/29 10:42] clement.beffa |
software_verification_tools_overview [2008/12/05 15: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: | |
+ | * SLAM | ||
+ | * Java PathFinder | ||
+ | * Bandera | ||
+ | * Blast | ||
+ | * SPIN | ||
+ | * ESP | ||
+ | * TVLA | ||
+ | * Cyclone | ||
+ | * CQual | ||
+ | * ESC/Java | ||
+ | * MC | ||
+ | * Saturn | ||
+ | * CUTE | ||
+ | * PALE |