{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:30:19Z","timestamp":1750231819102,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955810"},{"type":"electronic","value":"9783319955827"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95582-7_45","type":"book-chapter","created":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T10:31:17Z","timestamp":1531305077000},"page":"679-685","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Evidential and Continuous Integration of Software Verification Tools"],"prefix":"10.1007","author":[{"given":"Tewodros A.","family":"Beyene","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Ruess","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"45_CR1","unstructured":"RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification. RTCA Standard, December 2011"},{"key":"45_CR2","unstructured":"RTCA DO-278A Software Integrity Assurance Considerations for Communication, Navigation and Air Traffic Management (CNS\/ATM) Systems, December 2011"},{"issue":"2","key":"45_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10009-015-0403-0","volume":"18","author":"E \u00c1brah\u00e1m","year":"2016","unstructured":"\u00c1brah\u00e1m, E., Havelund, K.: Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18(2), 121\u2013128 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"45_CR4","first-page":"275","volume-title":"Lecture Notes in Computer Science","author":"Simon Cruanes","year":"2013","unstructured":"Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: VMCAI (2013)"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: Evidence arguments for using formal methods in software certification. In: Software Reliability Engineering Workshops (ISSREW), Nov 2013","DOI":"10.1109\/ISSREW.2013.6688924"},{"key":"45_CR6","unstructured":"Duvall, P., Matyas, S.M., Glover, A.: Continuous Integration: Improving Software Quality and Reducing Risk. Addison-Wesley Professional, Boston (2007)"},{"key":"45_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10472-014-9408-8","volume":"70","author":"A Groce","year":"2014","unstructured":"Groce, A., Havelund, K., Holzmann, G., Joshi, R., Xu, R.-G.: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70, 315\u2013349 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Havelund, K., Holzmann, G.J.: Software certification: coding, code, and coders. In: EMSOFT 2011. ACM, New York, NY, USA (2011)","DOI":"10.1145\/2038642.2038674"},{"key":"45_CR9","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2011","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual, 1st edn. Addison-Wesley Professional, Boston (2011)","edition":"1"},{"issue":"4","key":"45_CR10","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s11334-010-0136-x","volume":"6","author":"Gerard J. Holzmann","year":"2010","unstructured":"Holzmann, G.J.: SCRUB: a tool for code reviews, December 2010","journal-title":"Innovations in Systems and Software Engineering"},{"key":"45_CR11","unstructured":"ISO: Road vehicles - Functional safety (2011)"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4471-0997-6_5","volume-title":"Safe Comp 97","author":"T. P. Kelly","year":"1997","unstructured":"Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Software Reliability Engineering Workshops (ISSREW) (1997)"},{"key":"45_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-54862-8_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Kroening","year":"2014","unstructured":"Kroening, D., Tautschnig, M.: CBMC \u2013 C bounded model checker. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 389\u2013391. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54862-8_26"},{"key":"45_CR14","unstructured":"Moura, L.D., Owre, S., Ruess, H., Rushby, J., Shankar, N.: Integrating verification components. Theories, Tools, Experiments. In: Verified Software (2005)"},{"key":"45_CR15","unstructured":"RTI Real-Time Innovations: DDS for Safety-Critical Applications (2014)"},{"key":"45_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11576280_3","volume-title":"Formal Methods and Software Engineering","author":"John Rushby","year":"2005","unstructured":"Rushby. J.: An evidential tool bus. In: Proceedings of ICFEM (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95582-7_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T11:06:23Z","timestamp":1531307183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95582-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319955810","9783319955827"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95582-7_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}