Explore
Upload

DocSlides is a free service to upload presentations and documents.

Upload Now

Search Results for 'Intree'

Intree published presentations and documents on DocSlides.

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

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

  • ellena-manuel
  • 166 Slides

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

Refinements to techniques for verifying shape analysis inva

Refinements to techniques for verifying shape analysis inva

  • conchita-marotz
  • 59 Slides

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

Using the Coq theorem prover

Using the Coq theorem prover

  • min-jolicoeur
  • 0 Slides

to verify complex data structure invariants. Ken...

Copyright © 2024 DocSlides. All Rights Reserved