Ahven

Ahven 2.3

Ahven er en enkel enhet test bibliotek (eller et rammeverk) for Ada 95 programmeringsspråk. Prosjektet er løst modellert etter JUnit og noen ideer er hentet fra AUnit.Ahven er fri programvare distribuert under givende ISC lisens og skal fungere med alle...

HOL

HOL 7

HOL kort fra Higher Bestill Logic er et programmeringsmiljø der teoremer kan bevises og fritt verktøy implementert.Innebygde beslutningsprosedyrer og teorem provers kan automatisk opprette mange enkle teoremer. Et orakel mekanisme gir tilgang til eksterne...