Verifying object-oriented programs with higher-order separation logic in Coq

Jesper Bengtson
, Jonas Braband Jensen
, Filip Sieczkowski
, Lars Birkedal

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

1 resultater
- Relevans

Filter

ToMeSo: Tools and Methods for Scalable Software Verifications
Sestoft, P. (CoI), Birkedal, L. (PI), Mehnert, H. (CoI), Jensen, J. B. (CoI), Bengtson, J. (CoI), Thamsborg, J. J. (CoI), Hartmann Jensen, M. (CoI), Sieczkowski, F. (CoI), Mehnert, H. (CoI) & Svendsen, K. (CoI)
Danmarks Frie Forskningsfond
01/03/2009 → 30/06/2013
Projekter: Projekt › Forskning