Modelchecking Agent Programming Language

alpha
Add a Review
4 Downloads (This Week)
Last Update:
Download ajpf2014.tar.gz
Browse All Files

Description

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

Modelchecking Agent Programming Language Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Modelchecking Agent Programming Language!

Additional Project Details

Intended Audience

Science/Research

Programming Language

Java

Registered

2008-12-10
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.