Este documento examina la verificación de invariantes en sistemas con estados infinitos usando dos algoritmos.
― 9 minilectura
Alessandro Cimatti
Una mirada a las técnicas de monitoreo para un rendimiento confiable de sistemas en tiempo real.
― 6 minilectura