====== Software Modeling and Verification (SMV) ======

**1st year** (coorte 2016-2017)
<WRAP center round box 95%>
**Compulsory Exams** (24 CFU):
  * [[didattica:magistrale:dcc:ay_1617:main|Distributed Calculus and Coordination]] (12 CFU)
  * [[didattica:magistrale:fmsis:ay_1617:main|Formal Modeling of Software Intensive Systems]] (6 CFU) 
  * [[didattica:magistrale:rsv:ay_1617:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) 
**Selection in SMV group** (6 CFU to be selected among the following ones):
  * [[didattica:magistrale:bpmf:ay_1617:main|Business Process Management and Flexibility]] (6 CFU)
  * [[didattica:magistrale:ds:ay_1617:main|Distributed Systems]] (6 CFU)
  * [[didattica:magistrale:flc:ay_1617:main|Formal Languages and Compilers]] (6 CFU)
  * [[didattica:magistrale:qns:ay_1617:main|Queuing Network: Simulation]] (6 CFU)
</WRAP>

**2nd year** (coorte 2015-2016)
<WRAP center round box 95%>
**Compulsory Exams** (12 CFU): 
  * [[didattica:magistrale:rtpsv:ay_1617:main|Real-time and Probabilistic System Verification]] (6 CFU)
  * [[didattica:magistrale:dsfl:ay_1617:main|Domain Specific Formal Languages]] (6 CFU)
</WRAP>