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

HOL-TestGen 1.9.1 Released

We are proud to announce the release of HOL-TestGen 1.9.1 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 the most recent version of Isabelle/HOL, i.e., Isabelle 2016-1.

Supplementary Material: