PRISM Links

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

Tools

Some related tools:

• APMC
• APNN-Toolbox
• CADP
• CASPA
• ETMCC
• GreatSPN
• GRIP
• ipc/DNAmaca
• LiQuor
• Möbius
• MRMC
• PEPA
• RAPTURE
• SMART
• TIPPtool
• TwoTowers
• Ymer

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)