Specification and Verification Tools Seminar (Fall 2008) Resources

This page provides various links to interesting systems for the Specification and Verification Tools Seminar.

Some tools related to requirements analysis.

Some tools related to (OO) domain analysis. (See also the model checking and proof checking tools below.)

Some tools that start at the analysis level and can refine all the way down to the code level

Some tools related to software archicture.

Some tools related to coding/APIs.

Model checking tools.

Proof checking and proof assistant tools.

Last modified Wednesday, September 3, 2008.