OneSpin solutions announces the release of Quantify product. As per our quick read, this is a great combination of Mutation Based Verification (a la yesteryear’s Certitude technology), formal driven coverage closure (automatic dead code detection, coverage waivers etc.) and more. Read OneSpin’s PR @ http://onespin-solutions.com/index.php/press-releases-reader/items/quantify-announcement-pr.html