En el campo de la verificación y el diseño de sistemas híbridos y sistemas de eventos temporizados, el comportamiento del sistema se denomina "Zenón" si incluye un número infinito de pasos discretos en una cantidad de tiempo finita.