Easier and More Informative Vacuity Checks (0)

by H Chockler, O Strichman
Venue:In Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’07). IEEE Computer Society