• Back to all releases

Version 1.5 of HOL-TestGen

• 
• 1.7.1

• 
•  19 Nov 2012 23:13
• 

Release Notes: This release fixes a few minor errors in the manual.

• 
• 1.7.0

• 
•  18 Oct 2012 11:38
• 

Release Notes: This release was ported to Isabelle/HOL 2011-1. New examples were added. The jEdit-based user interface is now used by default.

• 
• 1.6-pre

• 
•  18 Oct 2012 11:38
• 

Release Notes: This release was ported to Isabelle 2011.

• 
• 1.5

• 
•  18 Oct 2012 11:38
• 

Release Notes: This release was ported to Isabelle 2009.

• 
• 1.4.0

• 
•  19 Jun 2008 20:30
• 

• Major feature enhancements

Release Notes: This release uses Isabelle 2008 as the underlying HOL system, provides support for a benchmarking framework, and provides HOL-TestGen/FW. HOL-TestGen/FW is a domain specific test case generator for specification-based firewall conformance testing.