Refactoring design models for inductive verification.

Yung-Pin Cheng

Browse the full ISSTA paper archive.