Airco Geautomatiseerde programmaverificatieomgeving
Download nu

Airco Rangschikking & Samenvatting

Airco Tags

Tester Verificatie proefdrukken testomgeving verificatieprogramma code-proofing

Airco Beschrijving

Het systeem-airco kan worden gebruikt voor geautomatiseerde beëindiging en innerlijke beëindigingsbewijzen van (voorwaardelijke) term herschrijfsystemen (TRSS), prolog-programma's, functionele en imperatieve programma's. PROBOWEN biedt momenteel veel transformatietechnieken, basisbeëindigingstechnieken (inclusief recursieve padbestellingen, Knut Bendix-orders, polynomiale orders, RFC-matchbounds), afhankelijkheidsparen, waaronder recente verfijningen zoals vernauwing, herschrijven en instantiation van afhankelijkheidsparen en het principe van de grootte-wijziging , ook in combinatie met afhankelijkheidsparen. Het gereedschap is geschreven in java en bewijzen kunnen zowel in een volledig geautomatiseerde of in een interactieve modus worden uitgevoerd via een grafische gebruikersinterface. Geef een poging om te zien hoe nuttig het in uw ontwikkelingsprojecten kan zijn.

Airco Gerelateerde software