Security Engineering for Lifelong Evolvable Systems

Annotation inference for separation logic based verifiers

TitleAnnotation inference for separation logic based verifiers
Publication TypeConference Paper
Year of Publication2011
Refereed DesignationRefereed
AuthorsVogels, F., B. Jacobs, F. Piessens, and J. Smans
Conference NameFormal Techniques for Distributed Systems (FMOODS/FORTE 2011)
PublisherSpringer
Notes

Reykjavik, Iceland, 6-9 June 2011