The New Quickcheck for Isabelle
From MaRDI portal
Publication:4916054
DOI10.1007/978-3-642-35308-6_10zbMath1383.68071OpenAlexW1507441114MaRDI QIDQ4916054
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
Related Items
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
