Sleutel

Een verificatietool voor Javacard-programma's
Download nu

Sleutel Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Prijs:
  • FREE
  • Naam uitgever:
  • The KeY Project
  • Uitgever website:
  • http://www.key-project.org
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 1 KB

Sleutel Tags


Sleutel Beschrijving

Een verificatie-tool voor Javacard-programma's Sleutel is een gratis en eenvoudig te gebruiken software die een verificatietool voor Javacard-programma's biedt. Het sleutelsysteem is een formele tool voor softwareontwikkeling die gericht is op het integreren van ontwerp, implementatie, formele specificatie en formele verificatie van objectgeoriënteerde software zo naadloos mogelijk . Vereisten: · Java 1.5 of later Wat is er nieuw in deze release: · Unified Proef Verplichtingskader · Delen van proefverplichtingen in verschillende specificaties · Unified API voor het toevoegen van nieuwe proefverplichtingen · Dezelfde GUI-elementen die worden gebruikt voor alle specificaties · Meer elegante vertaling van \ Old, @ Pre-Like Constructs · Verbeterde Javacard DL-specificatiesinterface · Specificatie van DL-invarianten · Herschrijven van JML-front-end · Ghostvariabelen / velden en JML-instructie · Non_NULL Standaard · \ Oud in lusvarianten ondersteund · \ Object_creation (type) in JML toewijsbare clausules · Nieuw stand-alone OCL front-end · Beëindigde ondersteuning voor Borland samen integratie Java Taal Support-verbeteringen: · ENUM-typen (gedeeltelijk) · Innerlijke en anonieme klassen · Verbeterd voor lus · Variabele methodeargumenten · Covariant-methode handtekening · Generatie van JML-specificaties · Strikt Pure Queries kunnen rechtstreeks in een update worden ingedrukt · Stabiel bewijs laden en opslaan · KlassePath-richtlijn · Verschillende bugfixes


Sleutel Gerelateerde software

Over ons