|
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
|
|
|
|
Formal Modelling and Process-oriented Systems
|
Berlin
|
J. Padberg
|
Petri
|
|
TEKS
|
|
Techniques of Correct Software Development
|
Bremen
|
C. Lüth
|
ADT
,
CASL
,
CSP
,
FDR
,
Isabelle
,
MC
|
|
|
|
Systems, Automata, and Coalgebras
|
Bremen
|
L. Schröder
|
CCS
,
PA
|
|
|
|
Temporal and Modal Logics for Parallelism and security
|
Bremen
|
L. Schröder
|
PA
,
TL
|
|
FSDPT
|
|
Formal Specification of Data and Process Types
|
T.U. Dresden
|
Horst Reichel
|
ADT
,
CASL
,
PA
|
|
3ICT5
|
|
Mathematical Modelling
|
Dublin
|
M. Tyrrell
|
AL
,
LamC
,
PA
,
PiC
|
|
2M920
|
2/3
|
Process Algebra
|
Eindhoven
|
J. Baeten
|
PA
|
|
CO610
|
BSc 3
|
Distributed Systems
|
Kent
|
E.A. Boiten
|
ELotos
,
Estelle
,
SDL
|
|
CO861
|
MSc
|
Formal Methods
|
Kent
|
H. Bowman
|
CADP
,
LOTOS
,
MC
,
OZ
|
|
CO7205
|
|
Advanced System Design
|
Leicester
|
J. Fiadeiro
|
CommUnity
,
SA
,
Unity
|
|
|
4
|
Software Engineering
|
Lisbon
|
R.G. Crespo
|
LOTOS
,
Z
|
|
|
4
|
Formal methods for concurrent and distributed systems
|
Milan Poli.
|
D. Mandrioli
|
B
,
HL
,
Petri
,
RefB
,
TL
,
TRIO
|
|
|
4
|
Software engineering II
|
Milan Poli.
|
P. San Pietro
|
MC
,
Petri
,
SPIN
|
|
|
4/5
|
Industrial automation II
|
Milan Poli.
|
L. Mezzalira
|
Petri
,
TRIO
|
|
ELP-III
|
3
|
Programming Logics III
|
Minho
|
J.M. Valença
|
INA
,
MC
,
NuSMV
,
PEP
,
Petri
|
|
MP-IV
|
3
|
Programming Method. IV (Concurrency)
|
Minho
|
L.S. Barbosa
|
CCS
,
CWB
,
PA
,
PiC
,
PicT
|
|
IFM-CA
|
MSc 1-2
|
Formal Methods Integration
|
Nantes
|
J.C. Attiogbé
|
B
,
CCS
,
CSP
,
MPS
,
PA
|
|
|
|
Specification of Reactive Systems
|
Oldenburg
|
H. Wehrheim
|
CSP
,
FDR
,
SPIN
|
|
DTS
|
|
Domain Theory
|
Oxford
|
G.M. Reed
|
PiC
,
ScTD
|
|
CDS
|
M
|
Concurrency and Distributed Systems
|
Oxford
|
J. Davies
|
CSP
,
FDR
|
|
ACT
|
M
|
Advanced Concurrency Tools
|
Oxford
|
J. Davies
|
CSP
,
FDR
|
|
|
MSc
|
Verification of infinite systems
|
Paris VII (et al)
|
P. Schnoebelen
|
PV
,
Petri
|
|
CS L3
|
S2
|
Systems and Software Engineering
|
London (S.B.)
|
A. Abdallah
|
CSP
,
Haskell
,
Z
|
|
|
|
Modélisation et analyse des systèmes à événements discrets
|
Toulouse
|
Robert Valette
|
Petri
|
|
213520
|
|
Formal Methods for Software Engineering
|
Twente
|
E. Brinksma
|
FSP
,
LTSA
,
PA
,
SDL
,
Z
,
ZEVES
|
