Schlüssel

Ein Überprüfungswerkzeug für Javacard-Programme
Jetzt downloaden

Schlüssel Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Preis:
  • FREE
  • Name des Herausgebers:
  • The KeY Project
  • Website des Verlags:
  • http://www.key-project.org
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 1 KB

Schlüssel Stichworte


Schlüssel Beschreibung

Ein Bestätigungswerkzeug für Javacard-Programme Der Schlüssel ist eine kostenlose und einfach zu bedienende Software, die ein Bestätigungswerkzeug für Javacard-Programme bereitstellt. Das Schlüsselsystem ist ein formales Softwareentwicklungswerkzeug, das darauf abzielt, das Design, die Implementierung, die formale Spezifikation und die formale Überprüfung objektorientierter Software so nahtlos wie möglich zu integrieren . Anforderungen: · Java 1.5 oder höher Was ist neu in dieser Version: · Unified Proof-Verpflichtung Framework · Teilen von Beweisverpflichtungen in verschiedenen Spezifikationssprachen · Unified API zum Hinzufügen neuer Proof-Verpflichtungen · Gleiche GUI-Elemente, die für alle Spezifikationssprachen verwendet werden · Elegante Übersetzung von \ alten, @ Pre-Lar-Konstrukten · Verbesserte Javacard DL-Spezifikationsschnittstelle · Spezifikation der DL-Invarianten · Umschreiben von JML Frontend · Ghost-Variablen / Felder und JML-Set-Anweisung · Non_null standardmäßig · \ Alte in Loop-Invarianten unterstützt · \ Object_creation (Typ) in JML-Aserteilsklauseln · Neues Standalone-OCL-Frontend · Auslaufende Unterstützung für Borland zusammen Integration Java-Sprachunterstützung Verbesserungen: · Enumtypen (teilweise) · Innere und anonyme Klassen · Erweitert für Schleife · Variable Methodenargumente · Kovariant-Methode Signature · Generierung von JML-Spezifikationen · Streng reine Abfragen können direkt in ein Update geschoben werden · Stabiles Beweislade und Sparen · Klassenpath-Richtlinie · Verschiedene Bugfixes.


Schlüssel Zugehörige Software

Über uns