|
Ref
|
Y/S
|
Module
|
Institution
|
Contact
|
Topics/Langs/Tools
|
|---|
|
TOV04
|
|
Testing and Verification
|
Aalborg
|
K.G. Larsen
|
MC
,
MSC
,
PV
,
TFM
,
UPPAAL
|
|
TEKS
|
|
Techniques of Correct Software Development
|
Bremen
|
C. Lüth
|
ADT
,
CASL
,
CSP
,
FDR
,
Isabelle
,
MC
|
|
FORMEL
|
S7
|
Methodes formelles, verification, model checking
|
Brest
|
L. Marcé
|
CTL
,
LTL
,
Lotrec
,
MC
|
|
OOTI
|
|
Formal Methods in the Software Life Cycle
|
Eindhoven
|
E. Vink
|
ESCJava
,
JML
,
MC
,
PV
|
|
2IF40
|
4.2
|
Proving with Computer Assistance
|
Eindhoven
|
R. Nederpelt
|
ATP
|
|
CO617
|
BSc 3
|
Software Failure and Risk
|
Kent
|
R. Lemos
|
MC
,
UPPAAL
|
|
CO861
|
MSc
|
Formal Methods
|
Kent
|
H. Bowman
|
CADP
,
LOTOS
,
MC
,
OZ
|
|
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
|
|
|
4
|
Software engineering II
|
Milan Poli.
|
P. San Pietro
|
MC
,
Petri
,
SPIN
|
|
|
|
Software Engineering II
|
Milan Poli.
|
C. Ghezzi
|
Alloy
,
MC
,
SPIN
,
TFM
|
|
ELP-III
|
3
|
Programming Logics III
|
Minho
|
J.M. Valença
|
INA
,
MC
,
NuSMV
,
PEP
,
Petri
|
|
|
|
Specification and Verification
|
T.U. München
|
T. Nipkow
|
ATP
,
FOL
,
FPT
,
HOL
,
Isabelle
,
SML
|
|
|
|
Programming Language Semantics
|
T.U. München
|
T. Nipkow
|
ATP
,
FS
,
HL
,
Isabelle
,
TT
|
|
|
|
Foundations of Systems Development
|
L-M-U München
|
M. Wirsing
|
ADT
,
CASL
,
FPT
,
LTL
,
MC
,
SPIN
,
TLA
,
Z
|
|
|
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
|
|
MFIEng
|
5
|
Formal Methods in Software Engineering
|
Univ. Polit. Valencia
|
M. Alpuente
|
MC
,
PV
|
