====== Fundamentals Of System Verification ======
----

===== News =====
<WRAP center round important 95%>
There is not any news.
</WRAP>
----


===== News =====
<WRAP center round important 95%>
There is not any news.
</WRAP>
----

===== General Info =====
<WRAP box round 95% center>
**Teacher**: 
  * [[https://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572|Prof. Luca Tesei]]


**ESSE3 Link**
  * [[https://unicam.coursecatalogue.cineca.it/insegnamenti/2025/12746/2025/4/10025?coorte=2025&schemaid=4379|Fundamentals Of System Verification - AY 2025/26]]

**Scheduling of Lectures**:
  * Scheduling is available at the following [[:didattica:orario_en|link]]
  
**Degrees**:
  * [[didattica:mscs|MSc in Computer Science (LM-18)]]



**Curricula**:
  * Software Development and Technologies


</WRAP>
----