SpecCheck - Specification-Based Testing for Isabelle/ML

MaRDI QIDQ7361511FDO

Authors Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink

Publication date 1 July 2021

Cited in

(5)

• Regex_Equivalence
• Unification Utilities for Isabelle/ML
• Extension of Types-To-Sets
• Conditional Transfer Rule
• Zippy - Generic White-Box Proof Search with Zippers

This page was built for software: SpecCheck - Specification-Based Testing for Isabelle/ML