{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:26:48Z","timestamp":1774837608836,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"value":"9781402081569","type":"print"},{"value":"9781402081576","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_30","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"385-392","source":"Crossref","is-referenced-by-count":12,"title":["Astr\u00c9e: Verification of Absence of Runtime Error"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Mauborgne","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., and Rival, X. (2002). Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In Mogensen, T., Schmidt, D.A., and Sud-borough, I.H., editors, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to NeilD. Jones, LNCS 2566, pages 85\u2013108. Springer."},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Proceedings of the ACMSIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI\u201903)","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 ACMSIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI\u201903), pages 196\u2013207, San Diego, California, USA. ACM Press."},{"key":"30_CR3","unstructured":"Cousot, P. (1978). M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de points fixes d\u2019op\u00e9-rateurs monotones sur un treillis, analyse s\u00e9mantique de programmes. Th\u00e8se d\u2019\u00e9tat \u00e8s sciences math\u00e9matiques, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble, Grenoble, France."},{"key":"30_CR4","first-page":"106","volume-title":"Proc. of the Second Int. Symp. on Programming","author":"P. Cousot","year":"1976","unstructured":"Cousot, P. and Cousot, R. (1976). Static determination of dynamic properties of programs. In Proc. of the Second Int. Symp. on Programming, pages 106\u2013130. Dunod, Paris, France."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4 th ACM POPL, pages 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. (1979). Systematic design of program analysis frameworks. In 6 th ACM POPL, pages 269\u2013282.","DOI":"10.1145\/567752.567778"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Halbwachs, N. (1978). Automatic discovery of linear restraints among variables of a program. In 5 th ACM POPL, pages 84\u201397.","DOI":"10.1145\/512760.512770"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Feret, J. (2004). Static analysis of digital filters. In European Symposium on Programming (ESOP\u201904), LNCS 2986. Springer.","DOI":"10.1007\/978-3-540-24725-8_4"},{"key":"30_CR9","unstructured":"IEEE Computer Society (1985). IEEE standard for binary floating-point arithmetic."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A. (2001). The octagon abstract domain. In IEEE AST in WCRE, pages 310\u2013319.","DOI":"10.1109\/WCRE.2001.957836"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A. (2004). Relational abstract domains for the detection of floating-point run-time errors. In European Symposium on Programming (ESOP\u201904), LNCS 2986, pages 3\u201317. Springer.","DOI":"10.1007\/978-3-540-24725-8_2"}],"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_30.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_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_30","relation":{},"subject":[]}}