En el proyecto presentado en esta memoria se estudia el análisis de sistemas de tiempo real en los que se debe verificar el cumplimiento de ciertos requerimientos temporales, principalmente referidos a plazos máximos de ...