Article Instance

HTTP 200 OK
Allow: GET
Content-Type: application/json
Vary: Accept

{
    "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-01T13:00:00-05:00",
    "render_galley": null,
    "galleys": [
        {
            "label": "PDF",
            "type": "pdf",
            "path": "https://journalpub.escholarship.org/cognitivesciencesociety/article/28529/galley/18400/download/"
        }
    ]
}