{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T01:40:02Z","timestamp":1747359602089,"version":"3.40.5"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319150741"},{"type":"electronic","value":"9783319150758"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15075-8_11","type":"book-chapter","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T10:05:27Z","timestamp":1420538727000},"page":"162-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Parameterisation of Three-Valued Abstractions"],"prefix":"10.1007","author":[{"given":"Nils","family":"Timm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Gruner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,7]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-74407-8_6","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"L de Alfaro","year":"2007","unstructured":"de Alfaro, L., Roy, P.: Solving games via three-valued abstraction refinement. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 74\u201389. Springer, Heidelberg (2007)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: ACM SIGPLAN 2001, PLDI 2001, pp. 203\u2013213. ACM, New York (2001)","DOI":"10.1145\/378795.378846"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Easterbrook, S.M., Chechik, M., Devereux, B., Gurfinkel, A., Lai, A.Y.C., Petrovykh, V., Tafliovich, A., Thompson-Walsh, C.: $$\\chi $$Chek: a model checker for multi-valued reasoning. In: ICSE 2003, pp. 804\u2013805 (2003)","DOI":"10.1109\/ICSE.2003.1201295"},{"issue":"1\u20133","key":"11_CR6","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M Fitting","year":"1994","unstructured":"Fitting, M.: Kleene\u2019s three valued logics and their children. Fundamenta Informaticae 20(1\u20133), 113\u2013131 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-93900-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P Godefroid","year":"2009","unstructured":"Godefroid, P., Piterman, N.: LTL generalized model checking revisited. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 89\u2013104. Springer, Heidelberg (2009)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Grumberg, O.: 2-valued and 3-valued abstraction-refinement in model checking. In: Logics and Languages for Reliability and Security, pp. 105\u2013128. IOS Press, Incorporated (2010)","DOI":"10.3233\/978-1-60750-100-8-105"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-75867-9_67","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2007","author":"M Herbstritt","year":"2007","unstructured":"Herbstritt, M., Becker, B.: On combining 01X-logic and QBF. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 531\u2013538. Springer, Heidelberg (2007)"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1016\/j.jlap.2012.03.007","volume":"81","author":"JP Katoen","year":"2012","unstructured":"Katoen, J.P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for probabilistic systems. Logic and Algebraic Programming 81(4), 356\u2013389 (2012). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1567832612000239","journal-title":"Logic and Algebraic Programming"},{"issue":"6","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1109\/TC.2012.53","volume":"62","author":"T Nopper","year":"2013","unstructured":"Nopper, T., Scholl, C.: Symbolic model checking for incomplete designs with flexible modeling of unknowns. IEEE Trans. Computers 62(6), 1234\u20131254 (2013)","journal-title":"IEEE Trans. Computers"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-05089-3_8","volume-title":"FM 2009: Formal Methods","author":"J Schrieb","year":"2009","unstructured":"Schrieb, J., Wehrheim, H., Wonisch, D.: Three-valued spotlight abstractions. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 106\u2013122. Springer, Heidelberg (2009)"},{"issue":"11","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1016\/j.ic.2008.07.004","volume":"206","author":"S Shoham","year":"2008","unstructured":"Shoham, S., Grumberg, O.: 3-valued abstraction: More precision at less cost. Information and Computation 206(11), 1313\u20131333 (2008)","journal-title":"Information and Computation"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Timm, N.: Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Phd thesis, University of Paderborn (2013)","DOI":"10.1007\/978-3-642-34281-3_25"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Timm, N.: Spotlight abstraction with shade clustering - automatic verification of parameterised systems. In: 8th International Symposium on Theoretical Aspects of Software Engineering, pp. 18\u201325. IEEE Computer Society (2014)","DOI":"10.1109\/TASE.2014.17"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/978-3-642-16901-4_35","volume-title":"Formal Methods and Software Engineering","author":"N Timm","year":"2010","unstructured":"Timm, N., Wehrheim, H.: On symmetries and spotlights \u2013 verifying parameterised systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 534\u2013548. Springer, Heidelberg (2010)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-34281-3_25","volume-title":"Formal Methods and Software Engineering","author":"N Timm","year":"2012","unstructured":"Timm, N., Wehrheim, H., Czech, M.: Heuristic-guided abstraction refinement for concurrent systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 348\u2013363. Springer, Heidelberg (2012)"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.ic.2010.08.001","volume":"209","author":"O Wei","year":"2011","unstructured":"Wei, O., Gurfinkel, A., Chechik, M.: On the consistency, expressiveness, and precision of partial modeling formalisms. Information and Comp. 209(1), 20\u201347 (2011)","journal-title":"Information and Comp."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15075-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T01:12:04Z","timestamp":1747357924000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15075-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319150741","9783319150758"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15075-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}