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
|