CS357 Software Verification   2011-2012

Topics

In the labs we'll be using Coq, NuSMV and Spec#

Recommended text

Timetable:

More course information will be available through the university's moodle system.


James Power,
Dept. of Computer Science, NUI Maynooth
Last revised: 14 September 2011