Airco JAVA GEBASEERDE EN GEUDIGDE PROGRAMMA VERIFICATIE MILIEU
Download nu

Airco Rangschikking & Samenvatting

Airco Tags

automatisering verificatie programmaverificatie beëindigingsbewijs Automatiseer verificatie beëindiging

Airco Beschrijving

Java gebaseerde en geautomatiseerde programma verificatieomgeving Airco is een gratis voor niet-commercieel gebruikssysteem voor geautomatiseerde beëindiging en innerlijke beëindigingsbewijzen van term herschrijfsystemen (TRSS). Bovendien behandelt aircrees ook verschillende andere formalismen, bijv. Logische programma's (PROLOG), TRSS Modulo AC, functionele programma's (Haskell 98), voorwaardelijke TRSS, contextgevoelige TRSS, enz. Saploge is gebaseerd op het frame van de afhankelijkheidspaar en biedt een wijd verscheidenheid aan verschillende beëindigingsvrije technieken. Deze technieken kunnen vrij worden geconfigureerd en gecombineerd door de gebruiker via een grafische gebruikersinterface. Bovendien biedt aircrees ook een "volledig automatische" -modus waarbij geschikte beëindigingstechnieken worden toegepast in een bepaalde vaste volgorde die vaak in de praktijk succesvol blijkt te zijn. Vereisten: · Java 1.5 of later

Airco Gerelateerde software