{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T06:10:02Z","timestamp":1745129402384,"version":"3.40.4"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T00:00:00Z","timestamp":1352073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s11023-012-9289-8","type":"journal-article","created":{"date-parts":[[2012,11,4]],"date-time":"2012-11-04T06:37:16Z","timestamp":1352011036000},"page":"211-226","source":"Crossref","is-referenced-by-count":8,"title":["Abstraction and Idealization in the Formal Verification of Software Systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Nicola","family":"Angius","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,11,5]]},"reference":[{"key":"9289_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to software testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., & Offutt, J. (2008). Introduction to software testing. Cambridge: Cambridge University Press."},{"issue":"2","key":"9289_CR2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s11023-011-9231-5","volume":"21","author":"N Angius","year":"2011","unstructured":"Angius, N., & Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2), 323\u2013336.","journal-title":"Minds and Machines"},{"key":"9289_CR3","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier, C., & Katoen, J. P. (2008). Principles of model checking. Cambridge, MA: The MIT Press."},{"issue":"1","key":"9289_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1093\/bjps\/53.1.21","volume":"53","author":"RW Batterman","year":"2002","unstructured":"Batterman, R. W. (2002). Asymptotics and the role of minimal models. British Journal for the Philosophy of Science, 53(1), 21\u201338.","journal-title":"British Journal for the Philosophy of Science"},{"key":"9289_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/0198247044.001.0001","volume-title":"How the laws of physics lie","author":"N Cartwright","year":"1983","unstructured":"Cartwright, N. (1983). How the laws of physics lie. Oxford New York: Oxford University Press."},{"key":"9289_CR6","unstructured":"Cartwright, N. (1989) [1994]. Nature\u2019s capacities and their measurement. Oxford, New York: Oxford University Press."},{"key":"9289_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, E. M., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2000). Counterexample-guided Abstraction Refinement. Proceedings of the 12th international conference for computer-aided verification. Lecture Notes in Computer Science. 1855, 154\u2013169.","DOI":"10.1007\/10722167_15"},{"issue":"5","key":"9289_CR8","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"EM Clarke","year":"2003","unstructured":"Clarke, E. M., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2003). Counterexample-guided abstraction refinement for symbolic model-checking. Journal of the ACM, 50(5), 752\u2013794.","journal-title":"Journal of the ACM"},{"issue":"5","key":"9289_CR9","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke, E. M., Grumberg, O., & Long, D. E. (1994). Model checking and abstraction. ACM Transaction on Programming Languages and Systems, 16(5), 1512\u20131542.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"9289_CR10","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge, MA: The MIT Press."},{"key":"9289_CR11","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1002\/9780470757017.ch24","volume-title":"The blackwell guide to the philosophy of computing and information","author":"T Colburn","year":"2004","unstructured":"Colburn, T. (2004). Methodology of computer science. In L. Floridi (Ed.), The blackwell guide to the philosophy of computing and information (pp. 318\u2013326). Malden: Blackwell."},{"issue":"3","key":"9289_CR12","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1023\/A:1005106917477","volume":"118","author":"J Earman","year":"1999","unstructured":"Earman, J., & Roberts, J. (1999). Ceteris paribus, there is no problem of provisos. Synthese, 118(3), 439\u2013478.","journal-title":"Synthese"},{"issue":"2","key":"9289_CR13","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/s11023-007-9060-8","volume":"17","author":"HA Eden","year":"2007","unstructured":"Eden, H. A. (2007). Three paradigms of computer science. Minds and Machines, 17(2), 135\u2013167.","journal-title":"Minds and Machines"},{"issue":"1","key":"9289_CR14","doi-asserted-by":"crossref","first-page":"13","DOI":"10.3233\/APO-2007-026","volume":"2","author":"HA Eden","year":"2007","unstructured":"Eden, H. A., & Turner, R. (2007). Problems in the ontology of computer programs. Applied Ontology, 2(1), 13\u201336.","journal-title":"Applied Ontology"},{"issue":"1","key":"9289_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.5840\/philtopics198917112","volume":"17","author":"J Fodor","year":"1989","unstructured":"Fodor, J. (1989). More on making matter more. Philosophical Topics, 17(1), 59\u201379.","journal-title":"Philosophical Topics"},{"key":"9289_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04293-9","volume-title":"Introduction to process algebra","author":"W Fokkink","year":"2000","unstructured":"Fokkink, W. (2000). Introduction to process algebra. Berlin: Springer."},{"key":"9289_CR17","unstructured":"Frigg, R., & Hartman, S. (2006). Models in science. Resource document. Stanford Encyclopedia of Philosophy. http:\/\/plato.stanford.edu\/entries\/models-science\/ ."},{"key":"9289_CR18","doi-asserted-by":"crossref","unstructured":"Hausman, D. M. (1988). Ceteris paribus clauses and causality in economics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association. 2, 308\u2013316.","DOI":"10.1086\/psaprocbienmeetp.1988.2.192893"},{"key":"9289_CR19","first-page":"19","volume-title":"The limitations of deductivism","author":"CG Hempel","year":"1988","unstructured":"Hempel, C. G. (1988). Provisos. In A. Gr\u00fcnbaum & W. Salmon (Eds.), The limitations of deductivism (pp. 19\u201336). Berkley: University of California Press."},{"issue":"1","key":"9289_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.2307\/2108314","volume":"LV","author":"P Humphreys","year":"1995","unstructured":"Humphreys, P. (1995). Abstract and concrete. Philosophy and Phenomenological Research, LV(1), 157\u2013161.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9289_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1163\/9789401202732_010","volume-title":"Idealization XII: Correcting the model. Idealization and abstraction in the sciences","author":"MR Jones","year":"2005","unstructured":"Jones, M. R. (2005). Idealization and abstraction: A framework. In M. R. Jones & N. Cartwright (Eds.), Idealization XII: Correcting the model. Idealization and abstraction in the sciences (pp. 173\u2013217). Amsterdam: Rodopi."},{"issue":"12","key":"9289_CR22","doi-asserted-by":"crossref","first-page":"773","DOI":"10.2307\/2025803","volume":"77","author":"G Joseph","year":"1980","unstructured":"Joseph, G. (1980). The many sciences and the one world. Journal of Philosophy, 77(12), 773\u2013790.","journal-title":"Journal of Philosophy"},{"issue":"4","key":"9289_CR23","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/s100090050040","volume":"2","author":"Y Kesten","year":"2000","unstructured":"Kesten, Y., & Pnueli, A. (2000). Control and data abstraction: Cornerstones of the practical formal verification. Software Tools and Technology Transfer, 2(4), 328\u2013342.","journal-title":"Software Tools and Technology Transfer"},{"key":"9289_CR24","volume-title":"Temporal logics and state systems","author":"F Kr\u00f6ger","year":"2008","unstructured":"Kr\u00f6ger, F., & Merz, S. (2008). Temporal logics and state systems. Berlin: Springer."},{"key":"9289_CR25","volume-title":"Computer-aided verification of coordinating processes","author":"RP Kurshan","year":"1994","unstructured":"Kurshan, R. P. (1994). Computer-aided verification of coordinating processes. Princeton, NJ: Princeton University Press."},{"issue":"2","key":"9289_CR26","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF01128982","volume":"38","author":"M Lange","year":"1993","unstructured":"Lange, M. (1993). Natural laws and the problem of provisos. Erkenntnis, 38(2), 233\u2013248.","journal-title":"Erkenntnis"},{"key":"9289_CR27","unstructured":"Lee, W., Pardo, A., Jang, J., Hachtel, G., & Somenzi, F. (1996). Tearing based abstraction for CTL model checking. Proceedings of the international conference of computer-aided design (ICCAD). (pp. 76\u201381)."},{"issue":"4","key":"9289_CR28","first-page":"421","volume":"54","author":"R Levins","year":"1966","unstructured":"Levins, R. (1966). The strategy of model building in population biology. American Scientist, 54(4), 421\u2013431.","journal-title":"American Scientist"},{"issue":"1","key":"9289_CR29","first-page":"76","volume":"146","author":"S Lindenberg","year":"1990","unstructured":"Lindenberg, S. (1990). A new push in the theory of organization. A commentary on O. E. Williamson\u2019s comparison of alternative approaches to economic organization. Journal of Institutional and Theoretical Economics, 146(1), 76\u201384.","journal-title":"Journal of Institutional and Theoretical Economics"},{"key":"9289_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4813-3","volume-title":"Model based reasoning in scientific discovery","author":"L Magnani","year":"1999","unstructured":"Magnani, L., Nersessian, N., & Thagard, P. (1999). Model based reasoning in scientific discovery. Dordrecht: Kluwer."},{"issue":"3","key":"9289_CR31","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1093\/cje\/28.3.319","volume":"28","author":"U M\u00e4ki","year":"2004","unstructured":"M\u00e4ki, U. (2004). Theoretical isolation and explanatory progress: Transaction cost economics and the dynamics of dispute. Cambridge Journal of Economics, 28(3), 319\u2013346.","journal-title":"Cambridge Journal of Economics"},{"issue":"3","key":"9289_CR32","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0039-3681(85)90003-2","volume":"16","author":"E McMullin","year":"1985","unstructured":"McMullin, E. (1985). Galilean idealization. Studies in the History and Philosophy of Science, 16(3), 247\u2013273.","journal-title":"Studies in the History and Philosophy of Science"},{"key":"9289_CR33","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1163\/9789004457157_002","volume-title":"Idealization I: General problems","author":"I Niiniluoto","year":"1990","unstructured":"Niiniluoto, I. (1990). Theories, approximations, and idealizations. In J. Brzezi\u0144ski, F. Coniglione, T. A. F. Kuipers, & L. Nowak (Eds.), Idealization I: General problems (pp. 9\u201358). Amsterdam, Atlanta: Rodopi."},{"key":"9289_CR34","volume-title":"The structure of idealization. Towards a systematic interpretation of marxian idea of science","author":"L Nowak","year":"1979","unstructured":"Nowak, L. (1979). The structure of idealization. Towards a systematic interpretation of marxian idea of science. Dordrecht: Kluwer."},{"issue":"4","key":"9289_CR35","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1086\/418301","volume":"68","author":"SH Orzack","year":"1993","unstructured":"Orzack, S. H., & Sober, E. (1993). A critical assessment of levins\u2019s strategy of model building in population biology (1966). Quarterly Review of Biology, 68(4), 533\u2013546.","journal-title":"Quarterly Review of Biology"},{"issue":"2","key":"9289_CR36","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1257\/jep.4.2.187","volume":"4","author":"J Persky","year":"1990","unstructured":"Persky, J. (1990). Retrospectives: Ceteris paribus. The Journal of Economic Perspectives, 4(2), 187\u2013193.","journal-title":"The Journal of Economic Perspectives"},{"issue":"1","key":"9289_CR37","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1093\/bjps\/46.1.81","volume":"46","author":"P Pietroski","year":"1995","unstructured":"Pietroski, P., & Rey, G. (1995). When other things aren\u2019t equal: Saving ceteris paribus laws from vacuity. The British Journal for the Philosophy of Science, 46(1), 81\u2013110.","journal-title":"The British Journal for the Philosophy of Science"},{"issue":"1","key":"9289_CR38","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1080\/13501780801915509","volume":"15","author":"M Rol","year":"2008","unstructured":"Rol, M. (2008). Idealization, abstraction, and the policy relevance of economic theories. Journal of Economic Methodology, 15(1), 69\u201398.","journal-title":"Journal of Economic Methodology"},{"issue":"397","key":"9289_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/C.397.1","volume":"100","author":"S Schiffer","year":"1991","unstructured":"Schiffer, S. (1991). Ceteris paribus laws. Mind, 100(397), 1\u201317.","journal-title":"Mind"},{"issue":"3","key":"9289_CR40","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1023\/A:1021582327947","volume":"57","author":"G Schurz","year":"2002","unstructured":"Schurz, G. (2002). Ceteris paribus laws: Classification and deconstruction. Erkenntnis, 57(3), 351\u2013372.","journal-title":"Erkenntnis"},{"issue":"1","key":"9289_CR41","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10992-006-9030-2","volume":"36","author":"M Smith","year":"2005","unstructured":"Smith, M. (2005). Ceteris paribus conditionals and comparative normalcy. Journal of Philosophical Logic, 36(1), 97\u2013121.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9289_CR42","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s11023-011-9240-4","volume":"21","author":"M Tedre","year":"2011","unstructured":"Tedre, M. (2011). Computing as a science: A survey of competing viewpoints. Minds and Machines, 21(3), 361\u2013387.","journal-title":"Minds and Machines"},{"key":"9289_CR43","unstructured":"Turner, R., & Eden, A. (2008). The philosophy of computer science. Resource document. Stanford Encyclopedia of Philosophy. http:\/\/plato.stanford.edu\/entries\/computer-science\/ ."},{"key":"9289_CR44","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume":"1491","author":"A Valmari","year":"1998","unstructured":"Valmari, A. (1998). The state explosion problem. Lectures on Petri Nets I: Basic models Lecture Notes in Computer Science, 1491, 429\u2013528.","journal-title":"Lectures on Petri Nets I: Basic models Lecture Notes in Computer Science"},{"key":"9289_CR45","volume-title":"Abstraction refinement for large scale model checking","author":"C Wang","year":"2006","unstructured":"Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction refinement for large scale model checking. Berlin: Springer."},{"key":"9289_CR46","unstructured":"Wegner, P. (1976). Research paradigm in computer science. Proceedings of 2nd international conference. Software engineering. 322\u2013330."},{"issue":"5","key":"9289_CR47","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/s10539-006-9051-9","volume":"21","author":"M Weisberg","year":"2006","unstructured":"Weisberg, M. (2006). Forty years of \u2018the strategy\u2019: Levins on model building and idealizations. Biology and Philosophy, 21(5), 623\u2013645.","journal-title":"Biology and Philosophy"},{"issue":"12","key":"9289_CR48","doi-asserted-by":"crossref","first-page":"639","DOI":"10.5840\/jphil20071041240","volume":"104","author":"M Weisberg","year":"2007","unstructured":"Weisberg, M. (2007). Three kinds of idealization. The Journal of Philosophy, 104(12), 639\u2013659.","journal-title":"The Journal of Philosophy"},{"issue":"3","key":"9289_CR49","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1023\/A:1021578127039","volume":"57","author":"J Woodward","year":"2002","unstructured":"Woodward, J. (2002). There is no such thing as a ceteris paribus law. Erkenntnis, 57(3), 303\u2013328.","journal-title":"Erkenntnis"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-012-9289-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-012-9289-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-012-9289-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T05:55:08Z","timestamp":1745128508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-012-9289-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,5]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["9289"],"URL":"https:\/\/doi.org\/10.1007\/s11023-012-9289-8","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2012,11,5]]}}}