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

Cite this paper

@inproceedings{Blanchette2010NitpickAC, title={Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder}, author={Jasmin Christian Blanchette and Tobias Nipkow}, booktitle={ITP}, year={2010} }