{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T17:48:24Z","timestamp":1648576104824},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T00:00:00Z","timestamp":1372291200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s10009-013-0280-3","type":"journal-article","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T01:43:07Z","timestamp":1372210987000},"page":"287-289","source":"Crossref","is-referenced-by-count":0,"title":["Model checking and abstract interpretation as building blocks of advanced program analysis techniques"],"prefix":"10.1007","volume":"15","author":[{"given":"Stefan","family":"Kowalewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Brauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,27]]},"reference":[{"key":"280_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","volume":"58","author":"A Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117\u2013148 (2003)","journal-title":"Adv. Comput."},{"key":"280_CR2","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: $$10^{20}$$ 10 20 states and beyond. In: Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, pp. 428\u2013439 (1990)","DOI":"10.1109\/LICS.1990.113767"},{"key":"280_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238\u2013252. Los Angeles, California (1977)","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"280_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"280_CR5","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Proceedings of Symposium on Applied Mathematics, vol. 19, pp. 19\u201331 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"280_CR6","doi-asserted-by":"crossref","unstructured":"Gupta, A., Majumdar, R., Rybalchenko, A.: From Tests to Proofs. Int. J. Softw. Tools. Technol. Transfer. (this volume). doi: 10.1007\/s10009-012-0267-5","DOI":"10.1007\/s10009-012-0267-5"},{"issue":"10","key":"280_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM. 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM."},{"key":"280_CR8","doi-asserted-by":"crossref","unstructured":"Kahlon, V., Sankaranarayanan, S., Gupta, A.: Static Analysis for concurrent programs with applications to data race detection. Int. J. Softw. Tools. Technol. Transfer. (this volume). doi: 10.1007\/s10009-013-0274-1","DOI":"10.1007\/s10009-013-0274-1"},{"issue":"7","key":"280_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM. 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM."},{"key":"280_CR10","doi-asserted-by":"crossref","unstructured":"Nguyen, V.Y., Ruys, T.C.: Selected dynamic issues in software model checking. Int. J. Softw. Tools. Technol. Transfer. (this volume). doi: 10.1007\/s10009-012-0261-y","DOI":"10.1007\/s10009-012-0261-y"},{"key":"280_CR11","doi-asserted-by":"crossref","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL safety Properties in hybrid systems. Int. J. Softw. Tools. Technol. Transfer. (this volume). doi: 10.1007\/s10009-012-0233-2","DOI":"10.1007\/s10009-012-0233-2"},{"key":"280_CR12","doi-asserted-by":"crossref","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems. In: CESAR. Symposium on Programming, pp. 337\u2013351 (1982)","DOI":"10.1007\/3-540-11494-7_22"},{"issue":"1","key":"280_CR13","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/B:FORM.0000033963.55470.9e","volume":"25","author":"K Yorav","year":"2004","unstructured":"Yorav, K., Grumberg, O.: Static analysis for state-space reductions preserving temporal logics. Formal Methods Syst. Design. 25(1), 67\u201396 (2004)","journal-title":"Formal Methods Syst. Design."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0280-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0280-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0280-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T07:21:07Z","timestamp":1563261667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0280-3"}},"subtitle":["Selected papers from TACAS 2009"],"short-title":[],"issued":{"date-parts":[[2013,6,27]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["280"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0280-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,27]]}}}