Concrete Model Checking with Abstract Matching and Refinement.

Corina S. Pasareanu, Radek Pelnek, Willem Visser

Browse the full CAV paper archive.