A static analyzer for large safety-critical software

@inproceedings{citeulike:2353363, address = {New York, NY, USA}, author = {Blanchet, Bruno and Cousot, Patrick and Cousot, Radhia and Feret, J\'erome and Mauborgne, Laurent and Min\'e, Antoine and Monniaux, David and Rival, Xavier }, booktitle = {PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation}, citeulike-article-id = {2353363}, doi = {10.1145/781131.781153}, isbn = {1581136625}, keywords = {abstract\_interpretation, astree, pldi03, tools}, pages = {196--207}, posted-at = {2008-02-08 13:29:44}, priority = {2}, publisher = {ACM}, title = {A static analyzer for large safety-critical software}, url = {http://portal.acm.org/citation.cfm?id=781153}, year = {2003} }

TY - CONF ID - citeulike:2353363 L3 - citeulike-article-id:2353363 TI - A static analyzer for large safety-critical software T2 - PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation SP - 196 EP - 207 AD - New York, NY, USA PB - ACM SN - 1581136625 KW - abstract_interpretation KW - astree KW - pldi03 KW - tools AU - Blanchet, Bruno AU - Cousot, Patrick AU - Cousot, Radhia AU - Feret, J\'erome AU - Mauborgne, Laurent AU - Min\'e, Antoine AU - Monniaux, David AU - Rival, Xavier PY - 2003/// UR - http://portal.acm.org/citation.cfm?id=781153 ER -