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