Slicing Agent Programs for more Efficient Verification

Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [Data Collection]

Collection description

This is data related to the paper `Slicing Agent Programs for more Efficient Verification' published in the post-proceedings for the 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018). Specifically it contains the Prolog program used to slice a transformed Gwendolen Program and the logs of the verification runs used to evaluate the effectiveness of the proposed slicing method in reducing the state space for verification.

Additional information: Data and README to be uploaded early in 2019 (delay caused by some logistical issues).
Keywords: Program Slicing, Verification, Gwendolen, Agent Programming Languages
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Louise Dennis
Date Deposited: 26 Feb 2019 12:22
Last Modified: 26 Feb 2019 12:22
URI: http://datacat.liverpool.ac.uk/id/eprint/576

Available Files

Read me