{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:52:57Z","timestamp":1725519177994},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878728"},{"type":"electronic","value":"9783540878735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87873-5_21","type":"book-chapter","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T08:04:10Z","timestamp":1222329850000},"page":"255-262","source":"Crossref","is-referenced-by-count":1,"title":["Where Is the Value in a Program Verifier?"],"prefix":"10.1007","author":[{"given":"Colin","family":"O\u2019Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Tudor, N., Adams, M., Clayton, P., O\u2019Halloran, C.: Auto-coding\/Auto-proving flight control software. In: Proceedings of IEEE 23rd Digital Avionics Systems Conference, Salt Lake City (2004)","DOI":"10.1109\/DASC.2004.1390739"},{"key":"21_CR2","unstructured":"Clark, G.D., Caseley, P.R., Powell, A.L., Murdoch, J.: Measurement of Safety Processes. In: Incose 2003, Washington, USA (2003)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-24756-2_2","volume-title":"Integrated Formal Methods","author":"R.J. Boulton","year":"2004","unstructured":"Boulton, R.J., Gottliebsen, H., Hardy, R., Kelsy, T., Martin, U.: Design Verification for Control Engineering. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 21\u201335. Springer, Heidelberg (2004)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-36580-X_11","volume-title":"Hybrid Systems: Computation and Control","author":"R.J. Boulton","year":"2003","unstructured":"Boulton, R.J., Hardy, R., Martin, U.: A Hoare-Logic for Single-Input Single-Output Continuous-Time Control Systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 113\u2013125. Springer, Heidelberg (2003)"},{"key":"21_CR5","unstructured":"RTCA Inc. and EUROCAE. DO-178B: Software Considerations in Airborne Systems and Equipment Certification (December 1992)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Galloway, A., Paige, R.F., Tudor, N.J., Weaver, R.A., Toyn, I., McDermid, J.: Proof Vs Testing in the context of safety standards. In: Proceedings of IEEE 24th Digital Avionics Systems Conference (2005)","DOI":"10.1109\/DASC.2005.1563405"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. Springer, Heidelberg (2005)"},{"key":"21_CR8","unstructured":"Fauquemberque, J.-L., Kahn, G., Kubbat, W., Levedag, S., Lions, J.-L., Lubeck, L., Mazzini, L., Merle, D., O\u2019Halloran, C.: ARIANE 5 Flight 501 Failure, Report by the Inquiry Board, ESA (1996)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87873-5_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:50:46Z","timestamp":1619509846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87873-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878728","9783540878735"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87873-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}