This tool permits simplifying the analysis of
Klaim and XKlaim systems. KlaiML allows to simulate
Klaim and XKlaim programs and to generate their reachability
graph. Moreover, using KlaiML, it is possible to verify whether
a program satisfies a specified property.
MuLan
A framework for programming MultiLanguage AgeNt based applications.
JavaMM
An environment that allows the student to learn the basics of
the Java programming language without necessarily knowing the
object-oriented features of the language itself, and the teacher
to propose new tests by making use of a graphical test editor.