Formal Methods
Formal Methods for Computer Science
Formal Methods
1
Propositional Logic
2
Predicate Logic
3
Temporal Logic
4
Model Checking and NuSMV
5
Petri Net
Table of Contents
Formal Methods
Formal Methods for Computer Science
Author
Mattia Curri
Formal Methods
Academic Year
: 2024-2025
Prof.ssa
: Berardina De Carolis
1
Propositional Logic