Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper)?

Ferrando, A ORCID: 0000-0002-8711-4670 and Malvone, V (2021) Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper)? .

Access the full-text of this item by clicking on the Open Access link.

Abstract

In this paper, we briefly review the history of model checking and runtime verification. We present the results obtained in the two research areas and also in their combination. Given the growing importance of the model checking on multi-agent systems, we open a door towards the combination of model checking with runtime verification over multi-agent systems.

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	02 Mar 2023 09:02
Last Modified:	02 Mar 2023 09:02
Open Access URL:	https://ceur-ws.org/Vol-3072/paper25.pdf
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3168672