Model Checking with Induction.

Kuangnan Chang, David Chenho Kung

Browse the full COMPSAC paper archive.