Formal Methods Europe FME Review of Education Resources
[ FME ]

[ In Europe | Outside Europe ]

  In Europe

ffs2HTMLtxt [ffs.cam] output
RefYearModuleInstitutionContactADTAIALARefASASMASeATPAoPCTLDMDRefFOLFPFPTFSFixPHLIVDMLTLLamCMCMPCMPSPAPVPetriPiCPolyRCRefBSafetyScTDTLTLATTVDMAlloyBCCSCSPELOTEstelleFSPHaskellJMLLOTOZPrologRSLSDLSMLVDM++VDMSLZxMLActressAtelierBBtlkCADPCADiZCASLCWBESCJavaFDRGoferHOLHugsIsabelleLTSANuSMVPVSPicTRAISERATRMLSPINSTePTRIOTrLUPPAALVDMTZANSZEVESZTCfUZZ
ascg-01 Action Semantics and Compiler Generation Aarhus P.D. Mosses Action Semantics Actress RAT RML
dSprogSem Programming Languages and Formal Semantics Aarhus P.D. Mosses Functional Programming Formal Semantics Prolog Standard ML
MSH1012 3 Formal Specification Anglia N. Dean Z-Notation
Program Quality Verification Bologna C. Laneve Abstract Interpretation TT T-Logic
5/MSc Specification and Formal Verification in B Bordeaux G.Sutre Algorithm refinement Program verification B-Method Atelier-B B-Toolkit
Formal Methods in Software Engineering Bordeaux A. Griffault
Formal Specifications Bordeaux A. Griffault
Software Engineering II Cambridge L.C. Paulson Algorithm refinement Standard ML Z-Notation
4ICT8 System Modelling and Specification Dublin A. Hughes Irish School of VDM Mathematics of Program Construction Haskell Hugs
3ICT5 Mathematical Modelling Dublin M. Tyrrell Algorithms and Complexity Process Algebra Pi-Calculus
4BA1 Information Systems (part II) Dublin M. Airchinnigh Irish School of VDM VDM
Functional Programming and Specification Edinburgh D. Sannella Standard ML Extended ML
OOTI Formal Methods in the Software Life Cycle Eindhoven de Vink Model Checking Program verification JML ESC/Java 2
2R440 4 Introduction to Formal Methods Eindhoven J. Baeten
2M920 2/3 Process Algebra Eindhoven J. Baeten Process Algebra
2IF40 4.2 Proving with Computer Assistance Eindhoven R. Nederpelt Automated theorem proving
ELINFO01A00062 1 Formal Methods in Systems Modeling Gent R.T. Boute Algebra of Programming Formal program techniques
FP1 1 Further Programming 1 Glasgow R. Irving Formal program techniques
SWT 3 Software Technology Graz B.K. Aichernig Formal program techniques Formal Semantics VDM VDMTools
AKSWT Selected Topics on Software Technology Graz P.Lucas Formal program techniques PVS
141@ 1 Reasoning about Programs Imperial C. K. Broda Formal program techniques
CO508 BSc 2 Software and Systems Design Kent R. Lemos Z-Notation CADiZ
CO515 BSc 2 Theory of Computer Science Kent J. Derrick FOL Functional Programming Formal program techniques Z-Notation
CO610 BSc 3 Distributed Systems Kent E.A. Boiten E-LOTOS Estelle SDL
CO617 BSc 3 Software Failure and Risk Kent R. Lemos Model Checking UPPAAL
CO861 MSc Formal Methods Kent H. Bowman Model Checking LOTOS Object-Z CADP
CS03PV 3? Program Verification and Specification King's College D. Clark Model Checking Program verification B-Method
CS1ITC Introduction to the Theory of Computation King's College A. Kurucz
CS2APL Applied Logic King's College M. Zakharyaschev CTL
CSMMTL Modal and Temporal Logics King's College A. Kurucz Temporal Logic
Formal Methods Lausanne D. Buchs ADT
02262 4-7 S Formal Aspects of Software Engineering I Lyngby A. Haxthausen RSL RAISE
02268 7-9 S Formal Aspects of Software Engineering II Lyngby D. Bjørner Algebraic Semantics Formal Semantics RSL RAISE
4 Software Engineering Lisbon R.G. Crespo LOTOS Z-Notation
CS1112 1 Reasoning about Programs Manchester K. Lau FOL Formal program techniques
4 Formal methods for concurrent and distributed systems Milan D. Mandrioli Hoare Logic Petri Nets Refinement in B Temporal Logic B-Method TRIO
4 Software engineering II Milan P. San Pietro Model Checking Petri Nets SPIN
4/5 Industrial automation II Milan L. Mezzalira Petri Nets TRIO
MP-I 2 Programming Methodology I Minho J.N. Oliveira Algebra of Programming Functional Programming Polytypism (Generic Programming) Haskell Hugs
ELP-II 2 Programming Logics II Minho J.S. Pinto Haskell Hugs
ELP-III 3 Programming Logics III Minho J.M. Valença LTL STeP
MP-IV 3 Programming Method. IV (Concurrency) Minho L.S. Barbosa Process Algebra Pi-Calculus CCS CWB PICT
MFP-I 4 Formal Methods I Minho J.N. Oliveira Algebra of Programming Formal program techniques Mathematics of Program Construction VDM VDM-SL Book VDMTools
MFP-II 4 Formal Methods II Minho J.N. Oliveira Algebra of Programming Data refinement Mathematics of Program Construction VDM VDM++ VDM-SL Book VDMTools
LAB-MF 5 Formal Methods Laboratory Minho J.N. Oliveira Alloy B-Method VDM++ VDMTools
Specification and Verification T.U. München T. Nipkow Automated theorem proving FOL Formal program techniques Standard ML HOL Isabelle
Programming Language Semantics T.U. München T. Nipkow Automated theorem proving Formal Semantics Hoare Logic TT Isabelle
Foundations of Systems Development L-M-U München M. Wirsing ADT Formal program techniques LTL Model Checking TLA Z-Notation CASL SPIN
5/MSc Inform. Syst. Specification and Modelling Nancy D. Méry DM B-Method
2 Models and Algorithms Nancy D. Méry Functional Programming Formal program techniques Standard ML
MSF-CA MSc Model-Oriented Formal Methods Nantes J.C. Attiogbé B-Method Z-Notation Atelier-B ZANS Z/EVES ZTC
Méthode de spécification formelle B Nantes H. Habrias B-Method
IFM-CA MSc 1-2 Formal Methods Integration Nantes J.C. Attiogbé Multi-paradigm Specifications Process Algebra B-Method CCS CSP
CSC227 2 Formal Specification of Software Newcastle S. Riddle VDM VDM-SL Book VDMTools
CSC230 2 Formal Methods in Practice Newcastle J. Steggles VDM VDM-SL Book VDMTools
G51MPC 1 Mathematics of Program Construction Nottingham R. Backhouse Mathematics of Program Construction
G53PAL 3 Programming Algebra Nottingham R. Backhouse Algebra of Programming Fixed Point Calculus Polytypism (Generic Programming)
Specification of Reactive Systems Oldenburg H. Wehrheim CSP FDR SPIN
FPD-I Formal Program Design I Oxford G. Jones Algorithm refinement
FPD-II Formal Program Design II Oxford R. Bird Data refinement
LC Lambda Calculus Oxford A. Ker Functional Programming
AOPS Application-Oriented Program Semantics Oxford J. Sanders Formal Semantics
DTS Domain Theory Oxford G.M. Reed Pi-Calculus Domains
SEM M Software Engineering Mathematics Oxford A. Martin DM Z-Notation
SDE M Specification and Design Oxford A. Martin Z-Notation FuZZ
ASD M Advanced Software Development Oxford J. Davies Data refinement Refinement Calculus Z-Notation
MAS M Machine-Assisted Software Engineering Oxford J. Davies B-Method B-Toolkit
CDS M Concurrency and Distributed Systems Oxford J. Davies CSP FDR
ACT M Advanced Concurrency Tools Oxford J. Davies CSP FDR
FPR M Functional Programming Oxford J. Gibbons Functional Programming Haskell Gofer Hugs
MF 3 Méthodes Formelles de spécification des Systèmes Informatiques Paris (ENST) S. Vignes B-Method Z-Notation
Foundations of Informatics: Semantics A Pisa U. Montanari Formal Semantics
Foundations of Informatics: Semantics II Pisa U. Montanari TT
Formal methods in informatics Roma A. Labella Algebraic Semantics Fixed Point Calculus Domains
Paradigmi di Programmazione Roma Pietro Cenciarelli Formal program techniques Formal Semantics Hoare Logic Polytypism (Generic Programming) TT Standard ML
CM140 1 Introduction to Formal Methods Southampton M.J. Butler Program verification Z-Notation ZTC
EL208 2 Z Specification Design Exercise Southampton M.J. Butler Z-Notation ZTC
CM314 3 Critical Systems Southampton M.J. Butler Refinement in B Safety Analysis Techniques B-Method B-Toolkit
CS L3 S2 Systems and Software Engineering South Bank A. Abdallah CSP Haskell Z-Notation
Foundations of Informatics (semantics) Torino M. Ciancaglini Formal Semantics TT
213520 Formal Methods for Software Engineering Twente E. Brinksma Process Algebra FSP SDL Z-Notation LTSA Z/EVES
214012 Protocol Validation Twente J.-P. Katoen CTL LTL NuSMV SPIN UPPAAL
3/4 Functional programming in Standard ML Warsaw A. Tarlecki FOL Functional Programming Formal program techniques Formal Semantics Haskell Standard ML
Semantics and Specifications Warsaw A. Tarlecki Formal Semantics Hoare Logic
CS126 1 Design of Information Structures Warwick S. Russ ADT
37-483 S1 Introd. to high-level system design and analysis Zuerich R.F. Staerk Abstract State Machines

Comments:

  Outside Europe



2004-05-08