http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/ News about the Specification and Verification Tools Seminar at UCF en-us http://blogs.law.harvard.edu/tech/rss leavens@eecs.ucf.edu (Gary T. Leavens) Mon, 01 Dec 2008 21:29:00 EST http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/homework/ http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/homework/hw6.txt Mon, 01 Dec 2008 21:28:00 EST Ghaith Haddad's exercise on SPARK is now available from the link on this news item as hw6.txt. News about the Specification and Verification Seminar http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/syllabus.shtml http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/syllabus.shtml Thu, 20 Nov 2008 02:13:00 EST At the next seminar Ghaith will lead a discussion about SPARK Ada. News about the Specification and Verification Seminar