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	approx 01/2027
2	approx 02/2027
3	approx 02/2027
4	approx 06/2027
5	approx 07/2027
6	approx 07/2027
7	approx 09/2027
straord	approx 11/2027

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	24/09/2026	slides	Introduction to testing, validation and verification of software systems	Slides 1-x

Class Timetable

Day	From	To	Where
Thursday	08:30AM	10:30AM	A.0.6
Friday	09:30AM	11:30AM	A1.3

Room A1.3 is located at the first floor of the "Alan Turing" building.

Room A.0.6 is at the first floor of the "Renato Ricamo" building.

Free software for this course

• CMurphi
• SPIN
• NuSMV
• JUnit