Ivil

Java-tool die interactieve verificatie op tussentijdse taal biedt
Download nu

Ivil Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • Freeware
  • Naam uitgever:
  • Karlsruhe Institute of Technology
  • Uitgever website:
  • http://i12www.ira.uka.de/~mulbrich/
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 2.3 MB

Ivil Tags


Ivil Beschrijving

IVIL is een applicatie die kan worden gebruikt om het niveau van een intermediaire verificatietaal te verifiëren. Het is geschreven in de Java-programmeertaal en kan worden uitgevoerd op Mac OS X, Windows en Linux.


Ivil Gerelateerde software

Over ons