FME Education Course Database (working links)
Courses (
0
)
Search
Year/Level
All
1
2
3
MSc
PhD
Unknown
Topics
All
ADT
Abstract Interpretation
Abstract State Machines
Action Semantics
Algebra of Programming
Algebraic Semantics
Algorithm refinement
Algorithms and Complexity
Automated theorem proving
BDD
CTL
DMat
Data refinement
Domains
FOL
Fixed Point Calculus
Formal Semantics
Formal Semantics
Formal program techniques
Functional Programming
Hoare Logic
LTL
Mathematics of Program Construction
Model Checking
Multi-paradigm Specifications
Petri Nets
Pi-Calculus
Polytypism
Process Algebras
Program verification
Refinement Calculus
Refinement in B
Safety Analysis Techniques
Software Testing
Software architecture
TLA
TT
TT
Temporal Logic
Unknown
Languages/Tools
All
Actress
Alloy
Atelier-B
B-Method
B-Toolkit
BBDC
CADP
CADiZ
CASL
CCS
COQ
CSP
CWB
CommUnity
E-LOTOS
ESC/Java 2
Estelle
Extended ML
FDR
FSP
FuZZ
GHC
Gofer
HOL
Haskell
Hugs
IVDM Library
Integrated Net Analyzer
Irish VDM
Isabelle
JML
LOTOS
LOTREC
LTSA
MSC
NuSMV
Object-Z
PICT
PVS
Prolog
RAISE tools
RAT
RML
RSL
SDL
SPIN
Standard ML
T-Logic
TRIO
The CAML Language
UPPAAL
Unity
Unknown
VDM++
VDM-SL
VDMTools
WHY
Z-Notation
Z/EVES
ZANS
ZTC
Per Page: