Software Modeling and Verification (SMV)

Compulsory Exams (24 CFU):

• Distributed Calculus and Coordination (12 CFU)
• Formal Modeling of Software Intensive Systems (6 CFU)
• Reactive Systems Verification alias Model Checking I (6 CFU)

Selection in SMV group (6 CFU to be selected among the following ones):

• Business Process Management and Flexibility (6 CFU)
• Distributed Systems (6 CFU)
• Formal Languages and Compilers (6 CFU)
• Queuing Network: Simulation (6 CFU)

Compulsory Exams (12 CFU):

• Real-time and Probabilistic System Verification (6 CFU)
• Domain Specific Formal Languages (6 CFU)