Software

I have developed various pieces of software, some of them are listed below. The source code is available for all of these, just write me if you don't find it in the distributions. Please contact me if you have problems or if you want to know more, don't be afraid! I normally reply very quickly if I am in front of the PC. Also, I have other code that is described in my papers, if you don't find it here, again, simply send me an email and I'll be happy to reply.

MCMAS. This is a tool for symbolic model checking multi-agent systems developed in conjunction with Alessio Lomuscio at Imperial College.
pddleditor_1.0.0.jar. This is an Eclipse plug-in to edit PDDL (Planning Domain Definition Language) files and to automatically generate test cases from temporal requirements. See this paper for more details.
uk.ac.ucl.cs.slangta_0.0.1.zip. This is an Eclipse plug-in to generate Axis monitors from Service Level Agreements written in SLAng. The installation can be complicated, contact me for help. See this paper for more details.

Go back to Franco Raimondi's home page.

"La teoria è sapere come funzionano le cose e non sapere come farle funzionare; la pratica è sapere come far funzionare la cose senza sapere come funzionano; il nostro scopo è unire la pratica alla teoria per riuscire a non far funzionare le cose senza capire come abbiamo fatto"