May 5, 2017
Estudiantes: Ramid Roushani (Universidad de Rosario, Argentina)
Tutores: <a href=https://www.fing.edu.uy/inco/grupos/gsi/team/gustavo-betarte/>Gustavo Betarte</a>, <a href=https://www.fing.edu.uy/inco/grupos/gsi/team/carlos-luna/>Carlos Luna</a>
El objetivo principal de este proyecto es obtener una especificación formal del algoritmo de decisión que implementa el controlador de acceso para J2ME y derivar un prototipo certificado que lo implemente.