The New Quickcheck for Isabelle

DOI10.1007/978-3-642-35308-6_10zbMath1383.68071OpenAlexW1507441114MaRDI QIDQ4916054

Lukas Bulwahn

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_10

Mathematics Subject Classification ID

Related Items (11)

Automating change of representation for proofs in discrete mathematics (extended version) ⋮ Tests and proofs for custom data generators ⋮ Formalizing Ordinal Partition Relations Using Isabelle/HOL ⋮ Foundational Property-Based Testing ⋮ Alien coding ⋮ αCheck: A mechanized metatheory model checker ⋮ Towards substructural property-based testing ⋮ From LCF to Isabelle/HOL ⋮ Tests and Proofs for Enumerative Combinatorics ⋮ Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification ⋮ On the fine-structure of regular algebra

Uses Software

• PVS
• QuickCheck
• EasyCheck
• SmallCheck
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The New Quickcheck for Isabelle