|
Ref
|
Y/S
|
Module
|
Institution
|
Contact
|
Topics/Langs/Tools
|
|---|
|
F01-Dat4
|
|
Semantics and Verification 2002
|
Aalborg
|
A. Ingólfsdóttir
|
BDD
,
CCS
,
CWB
,
PA
,
UPPAAL
|
|
TOV04
|
|
Testing and Verification
|
Aalborg
|
K.G. Larsen
|
MC
,
MSC
,
PV
,
TFM
,
UPPAAL
|
|
V03
|
MSc
|
Verification
|
Aalborg
|
K.G. Larsen
|
BDD
,
CTL
,
LTL
,
SPIN
,
UPPAAL
|
|
|
5/ MSc
|
Specification and Formal Verification in B
|
Bordeaux
|
G.Sutre
|
ARef
,
AtelierB
,
B
,
Btlk
,
PV
|
|
OOTI
|
|
Formal Methods in the Software Life Cycle
|
Eindhoven
|
E. Vink
|
ESCJava
,
JML
,
MC
,
PV
|
|
CS03PV
|
3
|
Program Verification and Specification
|
London (K.C.)
|
D. Clark
|
B
,
MC
,
PV
|
|
|
MSc
|
Méthodes Formelles et Fiabilité des Systèmes Embarqués
|
Nice
|
M. Auguin (contact)
|
BDD
,
MC
,
PV
,
TL
|
|
|
|
Logics and Verification
|
Paris VII
|
P. Habermehl
|
BDD
,
BDDC
,
MC
,
TL
|
|
|
MSc
|
Verification of infinite systems
|
Paris VII (et al)
|
P. Schnoebelen
|
PV
,
Petri
|
|
CM140
|
1
|
Introduction to Formal Methods
|
Southampton
|
M.J. Butler
|
PV
,
Z
,
ZTC
|
|
|
MSc
|
Spécifications formelles, connaissances et raisonnement
|
Strasbourg
|
P. Gancarski (contact)
|
Coq
,
LamC
,
PV
|
|
214012
|
|
Protocol Validation
|
Twente
|
J.-P. Katoen
|
CTL
,
LTL
,
NuSMV
,
PV
,
SPIN
,
UPPAAL
|
|
MFIEng
|
5
|
Formal Methods in Software Engineering
|
Univ. Polit. Valencia
|
M. Alpuente
|
MC
,
PV
|
