Partner:

Förderung:

Software

Aktuelle Versionen

Die Verifikationsumgebung besteht aus zwei Komponenten, welche hier heruntergeladen werden können:

Für die Isabelle-Theorien wird Isabelle 2009 benötigt, für das C-Frontend der Haskell-Compiler und Cabal.

Alte Versionen

Diese werden aus historischen und Referenzgründen zur Verfügung gestellt, und werden nicht mehr unterstützt.

Version 0.96

Diese Version beinhaltet eine zusammengefasste Spezifikation der Berechnung der Sicherhheitszonen.

Version 0.9

Dies ist die Version, die dem TÜV zur Verfügung gestellt wurde, und die Grundlage der Zertifizierung war:

Letzte Änderung dieser Seite: 2011-08-08 (Rev. 5768) | Datenschutzerklärung | Impressum