A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The cognitive agents specification language and verification environment for multiagent systems
2002
Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1 - AAMAS '02
The Cognitive Agents Specification Language (CASL) is a framework for specifying multiagent systems. It has a mix of declarative and procedural components to facilitate the specification and verification of complex multiagent systems. In this paper, we describe CASL and a verification environment (CASLve) for it based on the PVS verification system. We give an example of a multiagent meeting scheduler application specified with CASL. To illustrate the verification system, we discuss a proof we
doi:10.1145/544743.544746
fatcat:xykyw7xng5hedo7q6pxlk3hzvy