next up previous contents
Next: RAISE tools Up: Survey of Courses per Previous: Hugs   Contents

NuSMV

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
ELP-III 3 Programming Logics III Minho J.M. Valença INA , MC , NuSMV , PEP , Petri
214012 Protocol Validation Twente J.-P. Katoen CTL , LTL , NuSMV , PV , SPIN , UPPAAL

next up previous contents
Next: RAISE tools Up: Survey of Courses per Previous: Hugs   Contents
2004-11-04