VAI ALLA VERSIONE ITALIANA

OTHER ACADEMIC YEARS

Index:

Exams

Course programme

Textbooks

Class material

Class timetable

Software

Exams

Exams Rules

Please check lesson 1.

Project

Exams Dates

N	Date	Hour	Where	Notes	Deadline
1	15/01/2026	09:00 - 11:00	A1.1 Turing Building		11/01/2026 h23:59:59
2	29/01/2026	09:00 - 11:00			25/01/2026 h23:59:59
3	12/02/2026	09:00 - 11:00			08/02/2026 h23:59:59
4	18/06/2026	11:00 - 12:00			14/06/2026 h23:59:59
5	02/07/2026	11:00 - 12:00			28/06/2026 h23:59:59
6	16/07/2026	16:00 - 17:00			12/07/2026 h23:59:59
7	10/09/2026	11:00 - 12:00			06/09/2026 h23:59:59
straord	11/2026

Course Programme

Introduction to Verification

• verification problem
• testing, model checking and other methodologies

Model Checking for Finite State Systems

• Murphi, SPIN and NuSMV
• CTL and LTL
• model checking algorithms: theoretical, explicit, symbolic, bounded model checking

Testing

• main techniques: functyional and structural testing
• testing within software development process: unit, integration, regression and system testing
• JUnit

Validation

• acceptance testing

Textbooks:

• Gerald Everett, Raymond McLeod Jr.: Software Testing: Testing Across the Entire Software Development Life Cycle, Wiley
• A version of this book is available in the library
• Mauro Pezzé, Michal Young: Software Testing and Analysis: Process, Principles, and Techniques, Wiley
• A version of this book is available here
• Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): Handbook of Model Checking, Springer
• A version of this book is available here
• Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, MIT Press
• A version of this book is available here

Class Material

N	Date	Material	Arguments	Notes
1	25/09/2025	slides	Introduction to testing, validation and verification of software systems	Slides 1-x

Class Timetable

TBA

Free software for this course

• CMurphi
• SPIN
• NuSMV
• JUnit