Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.

Adam Brown James C. Browne Calvin Lin Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. 1-5 2007 conf/ipps/2007 IPDPS http://dx.doi.org/10.1109/IPDPS.2007.370520 db/conf/ipps/ipdps2007.html#BrownBL07