Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities.

Panagiotis Manolios

Browse the full ITP paper archive.