didattica:ay2526:sv:main [Computer Science @ Unicam]

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

===== News =====
<WRAP center round important 95%>
**The course starts on Wednesday, March 4, 2026, in Room AB2 at 2:00 pm**
</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/corsi/2025/10025/insegnamenti/2025/12746/2025/4?coorte=2025&schemaid=4379|FSV2526 on ESSE3]]

**Material and Information**
  * All material and information will be made available on the Google Classroom dedicated course: [[https://classroom.google.com/c/ODQ3MzczOTAwMjMy?cjc=stuezgmy|FSV2526]] (login using your @studenti.unicam.it account)

**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>
----