Slicing Agent Programs for More Efficient Verification



Winikoff, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael
(2019) Slicing Agent Programs for More Efficient Verification. In: Engineering Multi-Agent Systems, 2018-7-14 - ?, Stockholm, Sweden.

Access the full-text of this item by clicking on the Open Access link.
[img] Text
EMAS18-07.pdf - Published version

Download (399kB)

Abstract

Agent programs are increasingly used as the core high-level decision-making components within a range of autonomous systems and, as the deployment of such systems in safety-critical scenarios develops, the need for strong and trustworthy verification becomes acute. Formal verification techniques such as model-checking provide this high level of assurance yet they are typically both complex and slow to deploy. In this chapter we introduce, develop and evaluate a program slicing technique that significantly improves the efficiency of such verification, hence providing more effective routes to the assurance of safety, reliability, and ethics in autonomous systems.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Formal verification, Program analysis, Agent-oriented programming languages
Depositing User: Symplectic Admin
Date Deposited: 18 Sep 2018 09:46
Last Modified: 19 Jan 2023 01:32
DOI: 10.1007/978-3-030-25693-7_8
Open Access URL: http://emas2018.dibris.unige.it/images/papers/EMAS...
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3022442