next up previous contents
Next: UPPAAL Up: Survey of Courses per Previous: SPIN   Contents

VDMTools

 
Number of courses selected: 6  
Ref Y/S Module Institution Contact Topics/Langs/Tools
SWT 3 Software Technology Graz B.K. Aichernig FPT , FS , VDMSL , VDMT
MFP-I 4 Formal Methods I Minho J.N. Oliveira AoP , FPT , MPC , VDMSL , VDMT
MFP-II 4 Formal Methods II Minho J.N. Oliveira AoP , DRef , MPC , VDMSL , VDMT , VPP
LAB-MF 5 Formal Methods Laboratory Minho J.N. Oliveira Alloy , B , VDMT , VPP
CSC227 2 Formal Specification of Software Newcastle S. Riddle VDMSL , VDMT
CSC230 2 Formal Methods in Practice Newcastle J. Steggles VDMSL , VDMT

next up previous contents
Next: UPPAAL Up: Survey of Courses per Previous: SPIN   Contents
2004-11-04