HOL-TestGen 1.7.0
HOL-TestGen позволява да напишете спецификации за изпитване в по-висок порядък логики (HOL). Тя може (полу) автоматично разделяне на входното пространство, което води до абстрактни тестовете, и автоматично да избира конкретни данни от...