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

Mon, 01 Jan 2007 00:00:00 +0100

Adam Brown, James C. Browne, Calvin Lin:
Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. IPDPS 2007: 1-5