{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T02:10:10Z","timestamp":1739412610942,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050886"},{"type":"electronic","value":"9783642050893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05089-3_3","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T22:31:40Z","timestamp":1257287500000},"page":"23-32","source":"Crossref","is-referenced-by-count":0,"title":["Guess and Verify \u2013 Back to the Future"],"prefix":"10.1007","author":[{"given":"Colin","family":"O\u2019Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B. Boehm","year":"2001","unstructured":"Boehm, B., Basili, V.R.: Software Defect Reduction Top 10 List. Computer\u00a034(1), 135\u2013137 (2001)","journal-title":"Computer"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-45732-1_24","volume-title":"Computer Safety, Reliability and Security","author":"B. Littlewood","year":"2002","unstructured":"Littlewood, B.: On Diversity, and the Elusiveness of Independence. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, pp. 249\u2013973. Springer, Heidelberg (2002)"},{"issue":"12","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1109\/32.888629","volume":"26","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B., Popov, P., Strigini, L., Shryane, N.: Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Transactions on Software Engineering archive\u00a026(12), 1157\u20131167 (2000)","journal-title":"IEEE Transactions on Software Engineering archive"},{"issue":"10","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1109\/32.879822","volume":"26","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B.: The Use of Proof in Diversity Arguments. IEEE Trans. Software Eng.\u00a026(10), 1022\u20131023 (2000)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Arthan, R.D., Caseley, P., O\u2019Halloran, C., Smith, A.: Control Laws in Z. In: ICFEM 2000, pp. 169\u2013176 (2000)","DOI":"10.1109\/ICFEM.2000.873817"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11576280_32","volume-title":"Formal Methods and Software Engineering","author":"M.M. Adams","year":"2005","unstructured":"Adams, M.M., Clayton, P.B.: ClawZ: Cost-Effective Formal Verification for Control Systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 465\u2013479. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF01211295","volume":"9","author":"C. O\u2019Halloran","year":"1997","unstructured":"O\u2019Halloran, C., Arthan, R.D., King, D.: Using a Formal Specification Contractually. Formal Aspects of Computing\u00a09(4), 349\u2013358 (1997)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR8","unstructured":"Morgan, C.: Programming from Specifications. Prentice Hall Series in Computer Science (1990)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-30482-1_10","volume-title":"Formal Methods and Software Engineering","author":"J.-C. Filli\u00e2tre","year":"2004","unstructured":"Filli\u00e2tre, J.-C., March\u00e9, C.: Multi-prover Verification of C Programs. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 15\u201329. Springer, Heidelberg (2004)"},{"key":"3_CR10","unstructured":"http:\/\/www.verisoft.de"},{"key":"3_CR11","unstructured":"http:\/\/www.telelogic.com\/products\/rhapsody\/index.cfm"},{"key":"3_CR12","unstructured":"http:\/\/www.adi.com"}],"container-title":["Lecture Notes in Computer Science","FM 2009: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05089-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T01:53:17Z","timestamp":1739411597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05089-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050886","9783642050893"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05089-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}