A Formally-Verified C Static Analyzer. Jourdan, J., Laporte, V., Blazy, S., Leroy, X., & Pichardie, D. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pages 247–259, 2015.
A Formally-Verified C Static Analyzer [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/popl/JourdanLBLP15,
  author    = {Jacques{-}Henri Jourdan and
               Vincent Laporte and
               Sandrine Blazy and
               Xavier Leroy and
               David Pichardie},
  title     = {A Formally-Verified {C} Static Analyzer},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {247--259},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2676966},
  doi       = {10.1145/2676726.2676966},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JourdanLBLP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0