Algunas técnicas de verificación formal excluyen estos supuestos del análisis, si son equivalentes al comportamiento de Zenón.