Software Modeling and Verification (SMV)
1st year
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)