@Jester: Formale Software-Verifikation mit Hilfe von CASE-Werkzeugen

[Plotkin]

Hallo Jester,

wie heißen die Tools die du für die Software-Verifikation verwendest?

[Jester]

Hallo,

das Werkzeug das wir entwickeln heißt KeY.
Hier http://www.key-project.org/ kannst Du es runterladen und ein bißchen damit rumspielen.
Im Moment kann man damit JavaCard Programme verifizieren. Allerdings auch noch nicht alles. Rekursion ist momentan zum Beispiel noch nicht machbar, das soll sich bis zum Sommer aber ändern.

MfG Jester