On Formal Verification of ACT-R Architectures and Models.

Vincent Langenfeld, Bernd Westphal, Andreas Podelski

Browse the full CogSci paper archive.