Key-Hoare

Ermöglicht das Herstellen von Hornkalkulus im Schlüssel-Tool
Jetzt downloaden

Key-Hoare 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

Key-Hoare Stichworte


Key-Hoare Beschreibung

Ermöglicht das Herstellen von Hoare-Kalkül im Schlüsselwerkzeug Key-HOARE ist eine kostenlose und einfach zu bedienende Software, die auf der Taste aufgebaut ist, und verfügt über einen Horncalculus mit Updates. Die Key-HOARE wird in der CHALMERS-Untertradustein-Kursprogrammprüfung verwendet, um den Hoare-Kalkül zu unterrichten.


Key-Hoare Zugehörige Software

Über uns