HOL-TestGen 1.7.0

HOL-TestGen (HOL) bir Yüksek mertebeden mantığı ile test teknik yazmanızı sağlar. Bu (yarı) otomatik olarak soyut test durumlarda sonuçlanan, giriş alanı bölümlemek ve otomatik beton test verileri seçebilirsiniz.(SML içinde) testi koşum otomatik nesil...