Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie
A Formally-Verified C Static Analyzer
POPL, 2015.
@inproceedings{POPL-2015-JourdanLBLP,
author = "Jacques-Henri Jourdan and Vincent Laporte and Sandrine Blazy and Xavier Leroy and David Pichardie",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676966",
isbn = "978-1-4503-3300-9",
pages = "247--259",
publisher = "{ACM}",
title = "{A Formally-Verified C Static Analyzer}",
year = 2015,
}