Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder.

Jasmin Christian Blanchette, Tobias Nipkow

Browse the full ITP paper archive.