Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [Data Collection]
Data Catalogue DOI: 10.17638/datacat.liverpool.ac.uk/576
Original publication URL: https://elements.liverpool.ac.uk/viewobject.html?c...
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.
| 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 |
| DOI: | 10.17638/datacat.liverpool.ac.uk/576 |
| URI: | https://datacat.liverpool.ac.uk/id/eprint/576 |
Available Files
Read me
Software: GNU LGPL 3.0 |
Software: GNU LGPL 3.0 |
