[{"_id":"549","type":"conference","conference":{"location":"Uppsala, Sweden","end_date":"2017-04-29","start_date":"2017-04-29","name":"CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies"},"status":"public","pubrep_id":"925","date_updated":"2023-10-17T12:02:46Z","creator":{"login":"apreinsp","id":"4435EBFC-F248-11E8-B48F-1D18A9856A87"},"ddc":[],"file_date_updated":"2020-07-14T12:47:00Z","department":[{"_id":"ToHe","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]}],"abstract":[{"lang":"eng"}],"oa_version":"Submitted Version","scopus_import":"1","alternative_title":[],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1710.03391v1"}],"month":"10","intvolume":" 259","publication_identifier":{"issn":[]},"publication_status":"published","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"4939","checksum":"6274f6c0da3376a7b079180d81568518","creator":"system","file_size":209294,"date_updated":"2020-07-14T12:47:00Z","file_name":"IST-2018-925-v1+1_1710.03391v1.pdf","date_created":"2018-12-12T10:12:21Z"}],"language":[{}],"volume":259,"project":[{"name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize"}],"dini_type":"doc-type:conferenceObject","citation":{"apa":"Finkbeiner, B., & Kupriyanov, A. (2017). Causality-based model checking. In Electronic Proceedings in Theoretical Computer Science (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. https://doi.org/10.4204/EPTCS.259.3","short":"B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.","ieee":"B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in Electronic Proceedings in Theoretical Computer Science, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.","mla":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” Electronic Proceedings in Theoretical Computer Science, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:10.4204/EPTCS.259.3.","ista":"Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.","chicago":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017. https://doi.org/10.4204/EPTCS.259.3."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7264","author":[{"last_name":"Finkbeiner","first_name":"Bernd"},{"last_name":"Kupriyanov","id":"2C311BF8-F248-11E8-B48F-1D18A9856A87","first_name":"Andrey"}],"article_processing_charge":"No","quality_controlled":"1","oa":1,"has_accepted_license":"1","day":"10","publication":"Electronic Proceedings in Theoretical Computer Science","dc":{"description":["Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a new class of model checking algorithms that capture the causal relationships in a special data structure called concurrent traces. Concurrent traces identify key events in an execution history and link them through their cause-effect relationships. The model checker builds a tableau of concurrent traces, where the case splits represent different causal explanations of a hypothetical error. Causality-based model checking has been implemented in the ARCTOR tool, and applied to previously intractable multi-threaded benchmarks."],"identifier":["https://research-explorer.ista.ac.at/record/549","https://research-explorer.ista.ac.at/download/549/4939"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.259.3","info:eu-repo/semantics/altIdentifier/issn/2075-2180","info:eu-repo/grantAgreement/FWF//S11402-N23","info:eu-repo/grantAgreement/FWF//Z211"],"source":["Finkbeiner B, Kupriyanov A. Causality-based model checking. In: Electronic Proceedings in Theoretical Computer Science. Vol 259. Open Publishing Association; 2017:31-38. doi:10.4204/EPTCS.259.3"],"publisher":["Open Publishing Association"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"date":["2017"],"subject":["ddc:004"],"language":["eng"],"rights":["info:eu-repo/semantics/openAccess"],"creator":["Finkbeiner, Bernd","Kupriyanov, Andrey"],"title":["Causality-based model checking","EPTCS"]},"page":"31 - 38","uri_base":"https://research-explorer.ista.ac.at","date_published":"2017-10-10T00:00:00Z","date_created":"2018-12-11T11:47:07Z"}]