next up previous contents
Next: Haskell Up: Survey of Courses per Previous: Z-Notation   Contents

B-Method

 
Number of courses selected: 15  
Ref Y/S Module Institution Contact Topics/Langs/Tools
MSc Formal Methods Beira-Interior S.M. Sousa B , Coq , DMat , HL , Ocaml , WHY
5/ MSc Specification and Formal Verification in B Bordeaux G.Sutre ARef , AtelierB , B , Btlk , PV
CS03PV 3 Program Verification and Specification London (K.C.) D. Clark B , MC , PV
MSc Techniques de preuve et vérification formelle Marseille J.-R. Abrial ASM , B , MC
MSc Méthodes Formelles Metz D. Cansell B , FPT
4 Formal methods for concurrent and distributed systems Milan Poli. D. Mandrioli B , HL , Petri , RefB , TL , TRIO
LAB-MF 5 Formal Methods Laboratory Minho J.N. Oliveira Alloy , B , VDMT , VPP
5/ MSc Inform. Syst. Specification and Modelling Nancy D. Méry B , DMat
MSF-CA MSc Model-Oriented Formal Methods Nantes J.C. Attiogbé AtelierB , B , Z , ZANS , ZEVES , ZTC
Méthode de spécification formelle B Nantes H. Habrias B
IFM-CA MSc 1-2 Formal Methods Integration Nantes J.C. Attiogbé B , CCS , CSP , MPS , PA
MAS M Machine-Assisted Software Engineering Oxford J. Davies B , Btlk
MF 5 Méthodes Formelles de spécification des Systèmes Informatiques Paris (ENST) S. Vignes B , Z
4/5 Spécifications Formelles Poitiers E. Andres (contact) B , FPT , FS
CM314 3 Critical Systems Southampton M.J. Butler B , Btlk , RefB , Safety

next up previous contents
Next: Haskell Up: Survey of Courses per Previous: Z-Notation   Contents
2004-11-04