PRISM Links

For links to people and projects related to PRISM, see here.

For related tools, see here.

Courses

A selection of taught courses which include PRISM:

Modelling and Analysis of Security Protocols (Leiden Institute, The Netherlands)
2IF35: Formal Modelling in Cell Biology (TU Eindhoven)
SS 2007: Algebraic and Discrete Methods in Biology (RISC, Johannes Kepler University Linz, Austria)
2913: Advanced Analysis Techniques (Technical University of Denmark)
Automatic Verification, Safety Critical Systems and Software Reliability (Birmingham)
Security Analysis of Network Protocols (Stanford)
Provable Correctness of Security Protocols (TU Eindhoven)
Programma Corso Ingegneria del Software 2 (Roma)
Design and Analysis of Security Protocols (Texas)
Advanced Systems Modelling and Analysis Techniques (KTH Royal Institute of Technology, Sweden)

About PRISM