{"pk":28529,"title":"On Formal Verification of ACT-R Architectures and Models","subtitle":null,"abstract":"Subject of this article is the question whether the potential forautomatic defect analysis for symbolic timed ACT-R models asdemonstrated in earlier work can be developed into a scalable andcomprehensible technique. We present a formal, operational modelof an ACT-R architecture and a translation scheme of ACT-Rmodels into timed automata. We have applied this translationto ACT-R models and report on scalability experiments withautomatic defect analysis.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[{"word":"ACT-R; Cognitive Architecture; Formal Methods;Timed Automata; Modelling"}],"section":"Papers with Oral Presentations","is_remote":true,"remote_url":"https://escholarship.org/uc/item/1190b539","frozenauthors":[{"first_name":"Vincent","middle_name":"","last_name":"Langenfeld","name_suffix":"","institution":"Albert-Ludwigs-Universit ̈at Freiburg","department":""},{"first_name":"Bernd","middle_name":"","last_name":"Westphal","name_suffix":"","institution":"Albert-Ludwigs-Universit ̈at Freiburg","department":""},{"first_name":"Andreas","middle_name":"","last_name":"Podelski","name_suffix":"","institution":"Albert-Ludwigs-Universit ̈at Freiburg","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"2019-01-01T23:30:00+05:30","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/28529/galley/18400/download/"}]}