{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:21Z","timestamp":1794381081490,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_26","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T18:53:21Z","timestamp":1284576801000},"page":"281-293","source":"Crossref","is-referenced-by-count":49,"title":["Model Checking with Multi-valued Logics"],"prefix":"10.1007","author":[{"given":"Glenn","family":"Bruns","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrice","family":"Godefroid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many-Valued Logics","author":"L. Bolc","year":"1992","unstructured":"Bolc, L., Borowik, P.: Many-Valued Logics. Springer, Heidelberg (1992)"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44618-4_14","volume-title":"CONCUR 2000 - Concurrency Theory","author":"G. Bruns","year":"2000","unstructured":"Bruns, G., Godefroid, P.: Generalized Model Checking: Reasoning about Partial State Spaces. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, p. 168. Springer, Heidelberg (2000)"},{"key":"26_CR3","first-page":"409","volume-title":"Proc. of LICS 2001","author":"G. Bruns","year":"2001","unstructured":"Bruns, G., Godefroid, P.: Temporal Logic Query Checking. In: Proc. of LICS 2001, pp. 409\u2013417. IEEE, Los Alamitos (2001)"},{"key":"26_CR4","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.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"26_CR5","unstructured":"Bruns, G., Godefroid, P.: Model checking with multi-valued logics. Technical Report BL03.00018, Bell Labs, Lucent Technologies (May 2003)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/10722167_34","volume-title":"Computer Aided Verification","author":"W. Chan","year":"2000","unstructured":"Chan, W.: Temporal-logic queries. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 450\u2013463. Springer, Heidelberg (2000)"},{"key":"26_CR7","unstructured":"Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model checking. Tech. Report 448, Comp. Sys. Res. Group, Univ. of Toronto (2001)"},{"key":"26_CR8","unstructured":"Chechik, M., Easterbrook, W.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proc. of ICSE 2001 (2001)"},{"key":"26_CR9","unstructured":"Chechik, M., Easterbrook, W., Gurfinkel, A.: Model exploration with temporal logic query checking. In: Proc. of FSE 2002, ACM, New York (2002)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Chechik, M., Devereux, B., Gurfinkel, A.: Model-checking infinite state-space systems with fine-grained abstractions using SPIN. In: Proc. of SPIN Workshop on Model-Checking Software (2001)","DOI":"10.1007\/3-540-45139-0_3"},{"key":"26_CR11","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"26_CR12","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, pp. 995\u20131072. Elsevier, Amsterdam (1990)"},{"key":"26_CR13","first-page":"235","volume":"15","author":"M. Fitting","year":"1992","unstructured":"Fitting, M.: Many-valued modal logics I. Fund. Informaticae\u00a015, 235\u2013254 (1992)","journal-title":"Informaticae"},{"key":"26_CR14","first-page":"55","volume":"17","author":"M. Fitting","year":"1992","unstructured":"Fitting, M.: Many-valued modal logics II. Fund. Informaticae\u00a017, 55\u201373 (1992)","journal-title":"Informaticae"},{"issue":"2","key":"26_CR15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0167-6423(99)00009-X","volume":"35","author":"C. Fecht","year":"1999","unstructured":"Fecht, C., Seidl, H.: A Faster Solver for General Systems of Equations. Sci. Comp. Programming\u00a035(2), 137\u2013161 (1999)","journal-title":"Sci. Comp. Programming"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-36384-X_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Godefroid","year":"2002","unstructured":"Godefroid, P., Jagadeesan, R.: On the Expressiveness of 3-Valued Models. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 206\u2013222. Springer, Heidelberg (2002)"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-45187-7_18","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Gurfinkel","year":"2003","unstructured":"Gurfinkel, A., Chechik, M.: Multi-valued model checking via classical model checking. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 266\u2013280. Springer, Heidelberg (2003)"},{"key":"26_CR18","unstructured":"Huth, M., Pradhan, S.: Lifting assertion and consistency checkers from single to multiple viewpoints. Technical report 2002\/11, Dept. of Computing, Imperial College, London (2002)"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45694-5_16","volume-title":"CONCUR 2002 - Concurrency Theory","author":"B. Konikowska","year":"2002","unstructured":"Konikowska, B., Penczek, W.: Reducing model checking from multi-valued CTL* to CTL*. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 226. Springer, Heidelberg (2002)"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the Propositional Mu-Calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"26_CR21","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1145\/333979.333987","volume":"47","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Vardi, M.Y., Wolper, P.: An Automata-Theoretic Approach to Branching-Time Model Checking. JACM\u00a047(2), 312\u2013360 (2000)","journal-title":"JACM"},{"key":"26_CR22","unstructured":"Stirling, C.: Modal and temporal logics for processes. Notes for Summer School in Logic Methods in Concurrency, C.S. Dept., \u00c5arhus University, Denmark (1993)"},{"key":"26_CR23","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. of Maths\u00a05, 285\u2013309 (1955)","journal-title":"Pacific J. of Maths"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:30:55Z","timestamp":1619998255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_26","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99859","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}