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.
Primary LanguageJavaGNU Lesser General Public License v3.0LGPL-3.0
No one’s star this repository yet.