Using Interface Refinement to Integrate Formal Verification into the Design Cycle.

Jacob Chang, Sergey Berezin, David L. Dill

Browse the full CAV paper archive.