{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:58Z","timestamp":1725506878426},"publisher-location":"Boston, MA","reference-count":5,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_31","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"393-400","source":"Crossref","is-referenced-by-count":6,"title":["Industrial Experience of Abstract Interpretation-Based Static Analyzers"],"prefix":"10.1007","author":[{"given":"Jean","family":"Souyris","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., and Schoen, D. (1999). Applying formal proof techniques to avionics software: A pragmatic approach. In Wing, J.M., Woodcock, J., and Davies, J., editors, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM\u2019 99, volume II of Toulouse, France, Lecture Notes in Computer Science 1709, pages 1798\u20131815. Springer.","DOI":"10.1007\/3-540-48118-4_45"},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/DSN.2003.1209972","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN2003)","author":"S. Thesing","year":"2003","unstructured":"Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., and Ferdinand, C. (2003). Abstract interpretation-based timing validation of hard real-time avionics software. In Proceedings of the International Conference on Dependable Systems and Networks (DSN2003), San Francisco, California, United States, pages 625\u2013634. IEEE Computer Society Press, Los Alamitos, California."},{"issue":"1-2-3","key":"31_CR3","first-page":"155","volume":"19","author":"P. Cousot","year":"2000","unstructured":"Cousot, P. (2000). Interpr\u00e9tation abstraite. Technique et science informatique, 19(1-2-3): 155\u2013164.","journal-title":"Technique et science informatique"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Proceedings of the ACM SIGPLAN\u2019 2003 Conference on Programming Language Design and Implementation (PLDI)","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., and Rival, X. (2003). A static analyzer for large safety-critical software. In Proceedings of the ACM SIGPLAN\u2019 2003 Conference on Programming Language Design and Implementation (PLDI), pages 196\u2013207, San Diego, California, United States. ACM Press."},{"key":"31_CR5","first-page":"209","volume-title":"Proceedings of the Eleventh European Symposium on Programming Languages and Systems, ESOP\u2019 2002","author":"Goubault","year":"2002","unstructured":"Goubault, \u00c9., Mattel, M., and Putot, S. (2002). Asserting the precision of floating-point computations: A simple abstract interpreter. In Le M\u00e9tayer, D., editor, Proceedings of the Eleventh European Symposium on Programming Languages and Systems, ESOP\u2019 2002, Grenoble, France, Lecture Notes in Computer Science 2305, pages 209\u2013212. Springer."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:10Z","timestamp":1619672890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_31","relation":{},"subject":[]}}