Das wäre doch mal was:

“Das Bundesministerium für Bildung und Forschung (BMBF) hat die Förderung des Forschungsprojektes Verisoft um zwei Jahre bis zum 30. 6. 2007 verlängert und die Fördersumme von 7,2 auf 14,8 Millionen Euro aufgestockt. Ziel des ehrgeizigen Verisoft-Projekts ist es, Computersysteme komplett formal zu verfizieren.”

Aber, Spaß auf Seite, der Zustand, in dem wir uns Hard- und Software verkaufen lassen, würde uns bei jedem anderen Produkt zum Umtausch bewegen. Doch bei IT-Produkten feiern wird das dann als Innovation.

Daher ist ein solches Projekt nicht nur begrüßenswert, sondern auch bitte notwendig. Allein einen Katalog formaler Kriterien zu haben, denen ein guter Ansatz. Zwar existieren diverse Normen (DIN, W3C, usw.) doch fehlt der einheitliche Ansatz.