Invariant Discovery via Failed Proof Attempts.

Jamie Stark, Andrew Ireland

Browse the full LOPSTR paper archive.