{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:53:22Z","timestamp":1725893602595},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_16","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:58:43Z","timestamp":1348613923000},"page":"162-169","source":"Crossref","is-referenced-by-count":0,"title":["Formal Software Verification at Model and at Source Code Levels"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Fernandes Pires","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Polacsek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Duprat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 33\u201335. Springer, Heidelberg (2004)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/ICSTW.2008.54","volume-title":"Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of uml\/ocl class diagrams using constraint programming. In: Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 73\u201380. IEEE Computer Society, Washington, DC (2008)"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P. Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Comput. Surv.\u00a028(2), 324\u2013328 (1996)","journal-title":"ACM Comput. Surv."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT Numerical Mathematics\u00a08, 174\u2013186 (1968)","journal-title":"BIT Numerical Mathematics"},{"key":"16_CR5","unstructured":"Duprat, S., Gaufillet, P., Moya Lamiel, V., Passarello, F.: Formal verification of sam state machine implementation. In: ERTS, France (2010)"},{"key":"16_CR6","unstructured":"Fernandes Pires, A., Duprat, S., Faure, T., Besseyre, C., Beringuier, J., Rolland, J.F.: Use of modelling methods and tools in an industrial embedded system project: works and feedback. In: ERTS, France (2012)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-16277-0_6","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"S. G\u00e9rard","year":"2011","unstructured":"G\u00e9rard, S., Espinoza, H., Terrier, F., Selic, B.: 6 Modeling Languages for Real-Time and Embedded Systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. LNCS, vol.\u00a06100, pp. 129\u2013154. Springer, Heidelberg (2011)"},{"issue":"10","key":"16_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1985.229776","volume":"2","author":"B. Meyer","year":"1985","unstructured":"Meyer, B.: On formalism in specifications. IEEE Software\u00a02(1), 6\u201326 (1985)","journal-title":"IEEE Software"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Pedroza, G., Apvrille, L., Knorreck, D.: Avatar: A sysml environment for the formal verification of safety and security properties. In: 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE), pp. 1\u201310 (2011)","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"16_CR11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J. Queille","year":"1982","unstructured":"Queille, J., Sifakis, J.: Specification and Verification of Concurrent Systems in Cesar. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) International Symposium on Programming. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1982)"},{"key":"16_CR12","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying uml\/ocl models using boolean satisfiability. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2010, European Design and Automation Association, 3001, Leuven, Belgium, pp. 1341\u20131344 (2010)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-642-05089-3_34","volume-title":"FM 2009: Formal Methods","author":"J. Souyris","year":"2009","unstructured":"Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 532\u2013546. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:15:41Z","timestamp":1620130541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}