{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:48:28Z","timestamp":1725486508445},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416357"},{"type":"electronic","value":"9783540445777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44577-3_9","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T18:23:39Z","timestamp":1181413419000},"page":"131-137","source":"Crossref","is-referenced-by-count":3,"title":["Orientations in Verification Engineering of Avionics Software"],"prefix":"10.1007","author":[{"given":"Famantanantsoa","family":"Randimbivololona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"9_CR1","unstructured":"RTCA-EUROCAE: DO-178B\/ED-12B, Software considerations in airborne systems and equipment certification (1992)"},{"issue":"10","key":"9_CR2","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare: An axiomatic basis for computer programming, Comm ACM 12(10), pp. 567\u2013580 (1969)","journal-title":"Comm ACM"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Cousot, Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. 4th ACM Symp. On Principles of Programming languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Informatics: 10 Years Back-10 Years Ahead","author":"P. Cousot","year":"2000","unstructured":"Patrick Cousot: Progress on Abstract Interpretation Based Formal Methods and Future Challenges in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000"},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Informatics: 10 Years Back-10 Years Ahead","author":"R. M. Leino","year":"2000","unstructured":"Rustan M. Leino: Extended Static Checking: a Ten-Year Perspective in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Informatics: 10 Years Back-10 Years Ahead","author":"E. Clarke","year":"2000","unstructured":"Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000"}],"container-title":["Lecture Notes in Computer Science","Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44577-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T08:09:17Z","timestamp":1550390957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44577-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416357","9783540445777"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-44577-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}