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

Read more

Summary

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)

Formal Verification and Model Checking
BDI Agents and Programming Languages
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call