MPRI module 2.30: 2012 lecture notes

• Some slides related to the lectures
• Lecture notes related with the first lecture
• Solving deducibility constraints
• Deciding static equivalence
• Computational soundness of static equivalence
• Computational soundness of static equivalence (part 2)
• Exam 2015
• Exam 2015 with solution
• Exam 2014
• Exam 2014 with solution
• Exam 2012
• Exam 2012 with solution