{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:17:09Z","timestamp":1778249829478,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540003489","type":"print"},{"value":"9783540363842","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,12,16]],"date-time":"2002-12-16T00:00:00Z","timestamp":1039996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,16]],"date-time":"2002-12-16T00:00:00Z","timestamp":1039996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36384-x_8","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T09:21:13Z","timestamp":1196328073000},"page":"56-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Property Checking Driven Abstract Interpretation-Based Static Analysis"],"prefix":"10.1007","author":[{"given":"Damien","family":"Mass\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"8_CR1","unstructured":"P. Cousot. M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de point fixes d\u2019op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. Th\u00e8se \u00e8s sciences math\u00e9matiques, University of Grenoble, March 1978."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, California, 1977. ACM Press, New York, NY.","DOI":"10.1145\/512950.512973"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 269\u2013282, San Antonio, Texas, 1979. ACM Press, New York, NY.","DOI":"10.1145\/567752.567778"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008649901864","volume":"6","author":"P. Cousot","year":"1999","unstructured":"P. Cousot and R. Cousot. Refining model checking by abstract interpretation. Automated Software Engineering,6(1):69\u201395, 1999.","journal-title":"Automated Software Engineering"},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-45657-0_3","volume-title":"Proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002","author":"P. Cousot","year":"2002","unstructured":"P. Cousot and R. Cousot. Software analysis and model checking. In E. Brinksma and K.G. Larsen, editors, Proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, Copenhagen, Denmark, LNCS 2404, pages 37\u201356. Springer-Verlag Berlin Heidelberg, 27\u201331 July 2002."},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R. Giacobazzi","year":"2000","unstructured":"R. Giacobazzi, F. Ranzato, and F. Scozzari. Making abstract interpretations complete. Journal of the ACM, 47(2):361\u2013416, 2000.","journal-title":"Journal of the ACM"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-56287-7_95","volume-title":"Foundations of Software Technology and Theoretical Computer Science, 12th conference","author":"P. Granger","year":"1992","unstructured":"P. Granger. Improving the results of static analyses of programs by local decreasing iterations. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th conference, New Dehli, India, volume 652 of Lecture Notes in Computer Science, pages 68\u201379. Springer-Verlag, 1992."},{"key":"8_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_7","volume-title":"Proceedings of the Second Symposium PADO\u20192001, Programs as Data Objects","author":"D. Mass\u00e9","year":"2001","unstructured":"D. Mass\u00e9. Combining backward and forward analyses of temporal properties. In O. Danvy and A. Filinski, editors, Proceedings of the Second Symposium PADO\u20192001, Programs as Data Objects, volume 2053 of Lecture Notes in Computer Sciences, pages 155\u2013172, \u00c5rhus, Denmark, 21\u201323 May 2001. Springer-Verlag, Berlin, Germany."},{"key":"8_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-45789-5_30","volume-title":"Proceedings of the Ninth Static Analysis Symposium SAS\u201902","author":"D. Mass\u00e9","year":"2002","unstructured":"D. Mass\u00e9. Semantics for abstract interpretation-based static analyzes of temporal properties. In M. Hermenegildo, editor, Proceedings of the Ninth Static Analysis Symposium SAS\u201902, volume 2477 of Lecture Notes in Computer Sciences, pages 428\u2013443, Madrid, Spain, 17\u201320 September 2002. Springer-Verlag, Berlin, Germany."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36384-X_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:56:25Z","timestamp":1778248585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36384-X_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003489","9783540363842"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-36384-x_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12,16]]},"assertion":[{"value":"16 December 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}