Desde la década de 1970 el principal interés de Dijkstra fue la verificación formal.