What's in Common between Test, Model Checking, and Decision Procedures?

Kenneth L. McMillan

Browse the full FMICS paper archive.