modelchecking agent programming language

We have hosted the application modelchecking agent programming language in order to run this application in our online workstations with Wine or directly.

Quick description about modelchecking agent programming language:

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.

Audience: Science/Research.

Programming Language: Java.
Categories: