Email Gateway (Aug 18 2022 at 12:05): Email Gateway (Aug 18 2022 at 12:05):From: "Achim D. Brucker" <brucker@spamfence.net>
We are happy to announce release of
HOL-TestGen, version 1.4.0
http://www.brucker.ch/projects/hol-testgen/
HOL-TestGen is a is a test case generator for specification based unit
testing. HOL-TestGen is built on top of the specification and theorem
proving environment Isabelle/HOL.
The main changes of this release are:
HOL-TestGen/FW, a domain-specific test case generator for
specification-based firewall conformance testing, and
new examples and case studies.
HOL-TestGen can be downloaded (source code and binary packages for
Debian GNU/Linux) from:
http://www.brucker.ch/projects/hol-testgen/
Kind regards,
the HOL-TestGen team
Last updated: May 03 2024 at 12:27 UTC