Logic-based implementations of Global Types verification


Papers

ICLP 2013
SAC 2013
ICTCS 2012
DALT 2012

Software

You may download the .zip file of the Jason ICNP MAS described in the ICLP 2013 technical communications here .
You may download the .zip file of other Jason MASs we developed in the past here .
You should just need to unzip the files, launch Jason (we run our experiments with Jason 1.3.9), open one of the mas2j configuration files, and run the MAS.

You may download the .pl SWI Prolog implementation (we used the Multi-threaded, 64 bits, Version 5.8.3) of the ICNP and ABP protocols described in the ICLP 2013 technical communications here . We run it launching SWI Prolog with the -L32g and -G32g options to enlarge the local and global stacks.




Please send suggestions and comments to:
Viviana Mascardi viviana.mascardi@unige.it

Last Updated: June, 2013