There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 200 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

QuickCheck

Koen Claessen, John Hughes (2000)

0 comments Cited 27 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Conjecture Synthesis for Inductive Theories

Alan Bundy, Lucas Dixon, Moa Johansson (2011)

0 comments Cited 14 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 392-406

DOI: 10.1007/978-3-642-38574-2_27

SO-VID: f71cdddd-cf21-4f44-bbc0-601f303b153a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

Automating Induction for Solving Horn Clauses
Authors: Hiroshi Unno, Sho Torii, Hiroki Sakamoto
ML4PG in Computer Algebra Verification
Authors: Jónathan Heras, Ekaterina Komendantskaya
TIP: Tons of Inductive Problems
Authors: Koen Claessen, Moa Johansson, Dan Rosen …

See all cited by

Automating Inductive Proofs Using Theory Exploration

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 15

Isabelle/HOL

QuickCheck

Conjecture Synthesis for Inductive Theories

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,409

Cited by 14