@ FII

Formal Methods in Software Engineering

[Top]

Evaluation

  1. Continuous practical assessment 40%: lab exercises every week, max 40 points
  2. Case study 30%: a written report and an implementation, max 30 points
  3. Final project 30%: a written report and an implementation, max 30 points

Important: at least 50% for promotion

Deadline for the case study: week 9 or 10

Deadline for the final project: week 14

Weekly activities

Check the PLAN

Useful links and Bibliography

[1] Michael Huth, Mark Ryan. Logic In Computer Science. Modelling and Reasoning about Systems.

[2] Boro Sitnikovski, Introducing Software Verification with Dafny Language – Proving Program Correctness, ISBN, 978-1-4842-7977-9.

[3] Flemming Nielson, Hanne R. Nielson, Chris Hankin: Principles of Program Analysis. 2nd edition, Springer, 2005

[4] University of Pennsylvania, CIS 700: Software Analysis and Testing (Fall 2018) link

[5] Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott, Maude Manual, 2024 link

[6] Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002.

[7] Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, ISBN-13 978-0321143068, 2002

[8] Glynn Winskel, The formal semantics of programming languages - an introduction. MIT Press 1993, ISBN 978-0-262-23169-5.

[Top]