"Correctness by construction: putting engineering (back) into software."

Rod Chapman (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics