Desde los años 1970, el principal interés de Dijkstra fue la verificación formal.