Search Results for 'Intree'

Intree published presentations and documents on DocSlides.

Using Coq for Separation Logic and the need for a better ID

by ellena-manuel

Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...

Refinements to techniques for verifying shape analysis inva

by conchita-marotz

Kenneth . Roe. GBO Presentation. 9/30/2013. The J...

Using the Coq theorem prover

by min-jolicoeur

to verify complex data structure invariants. Ken...