HOL-TestGen 1.7.0
HOL-TestGen mahdollistaa yhden kirjoittaa testauseritelmät korkeakouluopetuksen kertaluvun logiikan (HOL). Se voi (puoli-) osiot automaattisesti tulon tila, jolloin abstrakti testitapaukset, ja valitsee automaattisesti konkreettisia...