Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 - Satisfiability modulo theories - Document - PDFSEARCH.IO

First Page	Meta Content
	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Document Date: 2016-01-02 15:47:17 Open Document File Size: 1,68 MB Share Result on Facebook

Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011Add to Reading List