Infer: An Automatic Program Verifier for Memory Safety of C Programs
Attributed to:
Adaptive Heap Analysis
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-20398-5_33
Publication URI: http://dx.doi.org/10.1007/978-3-642-20398-5_33
Type: Book Chapter
Book Title: NASA Formal Methods (2011)
Page Reference: 459-465
ISBN: 978-3-642-20397-8