Erfolg verspricht ein codegetriebener, iterativer Ansatz, ergänzt um ein System, das korrektes Funktionieren auf der Zielplattform verifiziert.