Inside 206-105

Existential Pontification and Generalized Abstract Digressions

June, 2012

Why verification results in higher quality code

Correctness is overrated. After all, no one knows what it means for any reasonably complicated system to be "correct", and even when we do, the mileposts move around on a daily basis. With the raison d'ĂȘtre of formal verification stripped away, can we still consider it a worthy goal? Perhaps verification results in higher quality […]

  • June 23, 2012