Strengthening Invariants by Symbolic Consistency Testing.

Husam Abu-Haimed, Sergey Berezin, David L. Dill

Browse the full CAV paper archive.