Track:
All Papers
Downloads:
Abstract:
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling In-dustrial size applications. This growth is not matched in terms of software tools and methodolo-gies. In this paper, we propose a systematic auto-mated approach for verifying the correctness of cognitive models. We present a modular specifica-tion language, define model correctness, and pre-sent algorithms for automatically checking that a model meets its specifications.