https://9dok.net/document/zlg5e28l-korrekte-software-grundlagen-methoden-vorlesung-verifikationsbedingungen.html