From the 1970s, Dijkstra's chief interest was formal verification.
Từ những năm 1970, mối quan tâm chính của Dijkstra là kiểm định hình thức (formal verification).