Categories software security Updated Dijkstra vs Perlis (really, DeMillo) Post author By yodaiken Post date November 25, 2008 See below. Tags dijkstra, formal methods, software engineering, verification ← Costs of not building security into the system → the male weirdness of computer science