Abstract
The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder
Highlights
The distribution contains a number of programming languages implemented in the Agent Infrastructure Layer (AIL)
Formal verification is essentially the process of assessing whether a specification given in formal logic is satisfied on a particular formal description of the system in question
Model checking takes an executable model of the system in question, defining all the model’s possible executions, and checks a logical property against this model
Summary
The MCAPL (Model-checking Agent Programming Languages) framework is a suite of Submitted: 03 February 2018 tools for building interpreters for agent programming languages and verifying the correct-. Published: 13 May 2018 ness of programs running in these interpreters using the model checking technique. The distribution contains a number of programming languages implemented in the AIL. Dennis 2017), the EASS variant of Gwendolen that can be used to program hybrid autonomous systems and GOAL (Hindriks et al 2001)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have