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):

• Business Process Management and Flexibility (6 CFU)
• Distributed Systems (6 CFU)
• Formal Languages and Compilers (6 CFU)
• Knowledge Engineering and Business Intelligence (6 CFU)
• Internetworking Ubiquitous Systems (6 CFU)
• IT Security (6 CFU)
• Queuing Network: Simulation (6 CFU)