Back to Results
First PageMeta Content
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

Document Date: 2014-05-11 10:56:05

Open Document

File Size: 522,21 KB

Share Result on Facebook
UPDATE