{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:54Z","timestamp":1775053194876,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751007","type":"print"},{"value":"9783540751014","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_45","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T05:15:29Z","timestamp":1190351729000},"page":"479-490","source":"Crossref","is-referenced-by-count":13,"title":["Experimental Assessment of Astr\u00e9e on Safety-Critical Avionics Software"],"prefix":"10.1007","author":[{"given":"Jean","family":"Souyris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Delmas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Proc. ACM SIGPLAN 2003 Conf. PLDI","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. ACM SIGPLAN 2003 Conf. PLDI, San Diego, CA, US, 7\u201314 June 2003, pp. 196\u2013207. ACM Press, New York (2003)"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTRE\u2019E analyser. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"issue":"1-2-3","key":"45_CR3","first-page":"155","volume":"19","author":"P. Cousot","year":"2000","unstructured":"Cousot, P.: Interpr\u00e9tation abstraite. Technique et Science Informatique\u00a019(1-2-3), 155\u2013164 (2000)","journal-title":"Technique et Science Informatique"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44577-3_10","volume-title":"Informatics","author":"P. Cousot","year":"2001","unstructured":"Cousot, P.: Abstract Interpretation Based Formal Methods and Future Challenges. In: Wilhelm, R. (ed.) Informatics. LNCS, vol.\u00a02000, pp. 138\u2013156. Springer, Heidelberg (2001)"},{"key":"45_CR5","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-1-4020-8157-6_27","volume-title":"Building the Information Society","author":"P. Cousot","year":"2004","unstructured":"Cousot, P., Cousot, R.: Basic Concepts of Abstract Interpretation. In: Jacquard, R. (ed.) Building the Information Society, pp. 359\u2013366. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"45_CR6","unstructured":"Souyris, J., Le Pavec, E., Himbert, G., J\u00e9gu, V., Borios, G., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis, pp. 21\u201324 (2005)"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","first-page":"306","volume-title":"Numerical Software with Result Verification","author":"E. Goubault","year":"2004","unstructured":"Goubault, E., Martel, M., Putot, S.: Static Analysis-Based Validation of Floating-Point Computations. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification. LNCS, vol.\u00a02991, pp. 306\u2013313. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75101-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:28Z","timestamp":1619506288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}