{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T07:53:17Z","timestamp":1722671597203},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,2]],"date-time":"2011-02-02T00:00:00Z","timestamp":1296604800000},"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":[[2011,5]]},"DOI":"10.1007\/s11023-011-9231-5","type":"journal-article","created":{"date-parts":[[2011,1,31]],"date-time":"2011-01-31T21:23:37Z","timestamp":1296509017000},"page":"323-336","source":"Crossref","is-referenced-by-count":9,"title":["Scientific Theories of Computational Systems in Model Checking"],"prefix":"10.1007","volume":"21","author":[{"given":"Nicola","family":"Angius","sequence":"first","affiliation":[]},{"given":"Guglielmo","family":"Tamburrini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,2]]},"reference":[{"key":"9231_CR1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D. (1987). Learning regular sets from queries and counter examples. Information and Computation, 75, 87\u2013106.","journal-title":"Information and Computation"},{"key":"9231_CR2","unstructured":"Armando A., Carbone R., Compagna L., Cuellar J., & Tolbarra, L. A. (2008). Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for google apps.In Proceeding of FMSE 2008 (pp. 1\u201310)."},{"key":"9231_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."},{"key":"9231_CR4","volume-title":"Limits of correctness in computers. Technical report 85-35","author":"B Cantwell Smith","year":"1985","unstructured":"Cantwell Smith, B. (1985). Limits of correctness in computers. Technical report 85-35. Stanford, CA: CSLI, Center for the Study of Language and Information."},{"key":"9231_CR6","unstructured":"Clarke, E. M., Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic, paper presented at Logic of programs: Workshop, Yorktown Heights, NY, May 1981, LNCS 131. Berlin: Springer."},{"key":"9231_CR7","first-page":"639","volume":"13","author":"EM Clarke","year":"2007","unstructured":"Clarke, E. M., & Lerda, F. (2007). Model checking: Software and beyond. Journal of Universal Computer Science, 13, 639\u2013649.","journal-title":"Journal of Universal Computer Science"},{"key":"9231_CR8","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E. M., & Wing, J. M. (1996). Formal methods: State of the art and future directions. ACM Computing Surveys (CSUR), 28, 626\u2013643.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9231_CR9","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":"9231_CR10","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11023-007-9061-7","volume":"17","author":"T Colburn","year":"2007","unstructured":"Colburn, T., & Shute, G. (2007). Abstraction in computer science. Minds and Machines, 17, 169\u2013184.","journal-title":"Minds and Machines"},{"key":"9231_CR11","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1086\/289546","volume":"57","author":"NCA Da Costa","year":"1990","unstructured":"Da Costa, N. C. A., & French, S. (1990). The model theoretic approach in philosophy of science. Philosophy of Science, 57, 248\u2013265.","journal-title":"Philosophy of Science"},{"key":"9231_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1111\/j.1574-6976.2008.00137.x","volume":"33","author":"A Danchin","year":"2009","unstructured":"Danchin, A. (2009). Bacteria as computers making computers. FEMS Microbiology Reviews, 33, 3\u201326.","journal-title":"FEMS Microbiology Reviews"},{"key":"9231_CR13","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/48529.48530","volume":"31","author":"JH Fetzer","year":"1988","unstructured":"Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31, 1048\u20131063.","journal-title":"Communications of the ACM"},{"key":"9231_CR14","doi-asserted-by":"crossref","first-page":"20","DOI":"10.5840\/monist19998211","volume":"82","author":"JH Fetzer","year":"1999","unstructured":"Fetzer, J. H. (1999). The role of models in computer science. The Monist, 82, 20\u201336.","journal-title":"The Monist"},{"key":"9231_CR15","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher, J., & Henzinger, T. A. (2007). Executable biology. Nature Biotechnology, 25, 1239\u20131249.","journal-title":"Nature Biotechnology"},{"key":"9231_CR16","unstructured":"Frigg, R., & Hartmann, S. (2006). Models in science. Stanford encyclopedia of philosophy. Available at http:\/\/plato.stanford.edu\/entries\/computer-science\/ ."},{"key":"9231_CR17","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.tcs.2008.09.044","volume":"410","author":"C Garzillo","year":"2008","unstructured":"Garzillo, C., & Trautteur, G. (2008). Computational virtuality in biological systems. Theoretical Computer Science, 410, 323\u2013331.","journal-title":"Theoretical Computer Science"},{"key":"9231_CR18","doi-asserted-by":"crossref","unstructured":"Groce, A., Peled, D., & Yannakakis, M. (2002). Adaptive model checking. In Proceedings of the eighth International conference on tools and algorithm for the construction and analysis of systems (pp. 357\u2013370).","DOI":"10.1007\/3-540-46002-0_25"},{"key":"9231_CR19","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications ACM, 12, 576\u2013583.","journal-title":"Communications ACM"},{"key":"9231_CR20","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1086\/392611","volume":"64","author":"RIG Hughes","year":"1997","unstructured":"Hughes, R. I. G. (1997). Models and representation. Philosophy of Science, 64, 325\u2013336.","journal-title":"Philosophy of Science"},{"key":"9231_CR21","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":"9231_CR22","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."},{"key":"9231_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0043-0","volume-title":"Understanding formal methods","author":"JF Monin","year":"2003","unstructured":"Monin, J. F., & Hinchey, M. G. (2003). Understanding formal methods. Berlin: Springer."},{"key":"9231_CR24","volume-title":"The structure of science. Problems in the logic of scientific explanation","author":"E Nagel","year":"1979","unstructured":"Nagel, E. (1979). The structure of science. Problems in the logic of scientific explanation (2nd ed.). Indianapolis: Hackett Pub. Co.","edition":"2"},{"key":"9231_CR25","volume-title":"Human problem solving","author":"A Newell","year":"1972","unstructured":"Newell, A., & Simon, H. A. (1972). Human problem solving. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"9231_CR26","unstructured":"Quielle, J. P., & Sifakis, J. (1981). Specification and verification of concurrent systems in CESAR, In Proceedings of the 5th International symposium on programming, LNCS, 137 (pp. 337\u2013350). Berlin: Springer."},{"key":"9231_CR27","volume-title":"The semantic conception of theories and scientific realism","author":"F Suppe","year":"1989","unstructured":"Suppe, F. (1989). The semantic conception of theories and scientific realism. Urbana: University of Illinois Press."},{"key":"9231_CR29","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00485107","volume":"12","author":"P Suppes","year":"1960","unstructured":"Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synth\u00e8se, 12, 287\u2013301.","journal-title":"Synth\u00e8se"},{"key":"9231_CR30","first-page":"252","volume-title":"Logic, methodology, and philosophy of science: Proceedings of the 1960 International congress","author":"P Suppes","year":"1962","unstructured":"Suppes, P. (1962). Models of data. In E. Nagel, P. Suppes, & A. Tarski (Eds.), Logic, methodology, and philosophy of science: Proceedings of the 1960 International congress (pp. 252\u2013261). Stanford University Press: Stanford."},{"key":"9231_CR31","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF00499820","volume":"87","author":"C Swoyer","year":"1991","unstructured":"Swoyer, C. (1991). Structural representation and surrogative reasoning. Synthese, 87, 449\u2013508.","journal-title":"Synthese"},{"key":"9231_CR32","unstructured":"Tedre, M. (2007), Lecture notes in the philosophy of computer science. Department of Computer science and Statistics, University of Joensuu, Finland. Available at http:\/\/cs.joensuu.fi\/~mmeri\/teaching\/2007\/philcs\/ ."},{"key":"9231_CR34","doi-asserted-by":"crossref","DOI":"10.1093\/0198244274.001.0001","volume-title":"The scientific image","author":"BC Fraassen Van","year":"1980","unstructured":"Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press."},{"key":"9231_CR35","doi-asserted-by":"crossref","DOI":"10.1093\/0198248601.001.0001","volume-title":"Laws and symmetry","author":"BC Fraassen Van","year":"1989","unstructured":"Van Fraassen, B. C. (1989). Laws and symmetry. Oxford: Oxford University Press."},{"key":"9231_CR36","volume-title":"Handbook of theoretical computer science, Vol B: Formal models and semantics","year":"1990","unstructured":"Van Leeuwen, J. (Ed.). (1990). Handbook of theoretical computer science, Vol B: Formal models and semantics. Cambridge, MA: The Mit Press."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9231-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-011-9231-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9231-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T03:17:46Z","timestamp":1559963866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-011-9231-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,2]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["9231"],"URL":"https:\/\/doi.org\/10.1007\/s11023-011-9231-5","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,2]]}}}