Estudios: Validación de modelos: Promela y Spin