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...

sst

sst 0.2.2

sst er et rammeverk for funksjonell web testing.Den bruker Selen WebDriver å kjøre en nettleser og samhandle med web-elementer. Tester er laget av Python-skript, skapt ved å komponere handlinger som kommer med SST. Du har nytte av den fulle Python...