LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States

First Page		Document Content
Date: 2014-05-11 10:56:05 Static single assignment form Model checking Algorithm Computing Compiler construction Abstract interpretation Symbolic execution		LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States Add to Reading List Source URL: www.kroening.com Download Document from Source Website File Size: 522,21 KB Share Document on Facebook