HOL-TestGen 1.7.0
HOL-TestGen cho phép một để viết chi tiết kỹ thuật thử nghiệm trong logic bậc cao (HOL). Nó có thể (bán) tự động phân vùng không gian đầu vào, kết quả trong trường hợp thử nghiệm trừu tượng, và tự động chọn dữ liệu kiểm tra bê tông.Tự động thế hệ của...