Dijkstra Gries Program Derivation Technique

Describe DijkstraGriesProgramDerivationTechnique here.

What is this? Maybe something reachable from EwDijkstra has a hyperlink that can be used.

now this is open source