caa a22 4500 445838396 CHVBK 20180317145336.0 cr unu---uuuuu 170323e20110501xx s 000 0 eng 10.1007/s11023-011-9231-5 doi (NATIONALLICENCE)springer-10.1007/s11023-011-9231-5 Scientific Theories of Computational Systems in Model Checking [Elektronische Daten] [Nicola Angius, Guglielmo Tamburrini] Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. Springer Science+Business Media B.V., 2011 Model checking nationallicence Philosophy of computer science nationallicence Scientific models nationallicence Semantic view of theories nationallicence Model-based reasoning nationallicence Computer simulation nationallicence Angius Nicola Dipartimento di Teorie e ricerche dei sistemi culturali, Università di Sassari, Sassari, Italy aut Tamburrini Guglielmo Dipartimento di Scienze fisiche, Università di Napoli Federico II, Naples, Italy aut Minds and Machines Springer Netherlands 21/2(2011-05-01), 323-336 0924-6495 21:2<323 2011 21 11023 https://doi.org/10.1007/s11023-011-9231-5 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11023-011-9231-5 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Angius Nicola Dipartimento di Teorie e ricerche dei sistemi culturali, Università di Sassari, Sassari, Italy aut NATIONALLICENCE 700 1- Tamburrini Guglielmo Dipartimento di Scienze fisiche, Università di Napoli Federico II, Naples, Italy aut NATIONALLICENCE 773 0- Minds and Machines Springer Netherlands 21/2(2011-05-01), 323-336 0924-6495 21:2<323 2011 21 11023 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer