Verification of Snapshotable Trees using Access Permissions and Typestate

Hannes Mehnert
, Jonathan Aldrich

Carnegie Mellon University

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

1 results
- Relevance

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)
Independent Research Fund Denmark
01/03/2009 → 30/06/2013
Project: Research