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 (6 CFU)

Selection in SMV group (6 CFU):

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