Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

HOL-TestGen 1.9 Released

We are proud to announce the release of HOL-TestGen 1.9. HOL-TestGen is a formal specification-based test environment HOL-TestGen that allows to have a seamless transition from verification to test case generation using symbolic computation in Isabelle/HOL.

This release is a maintenance release based on Isabelle 2016.

Supplementary Material: