Model Checking if Your Life Depends on It a View from Intel's Trenches.

Rob Gerth Model Checking if Your Life Depends on It a View from Intel's Trenches. 15 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570015.htm db/conf/spin/spin2001.html#Gerth01