Modelos de Concurrencia- Algebras de Proceso y Bisimulación
- Lógicas temporales. LTL y CTL
- Model Checking de LTL y CTL
- Bounded Model Checking
- Predicate abstraction
- Docente: Victor Adrian Braberman
- Docente: Maria Virginia Brassesco
- Docente: Fernan Gabriel Martinelli
- Docente: Javier Ignacio Martinez Viademonte
- Docente: Leandro Ezequiel Nahabedian
- Docente: Sebastian Uchitel