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

Angelo Ferrando; Vadim Malvone

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

Angelo Ferrando
, Vadim Malvone

University of Genoa

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	302-310
Nombre de pages	9
journal	CEUR Workshop Proceedings
Volume	3072
état	Publié - 1 janv. 2021
Evénement	22nd Italian Conference on Theoretical Computer Science, ICTCS 2021 - Virtual, Bologna, Italie Durée: 13 sept. 2021 → 15 sept. 2021

Contient cette citation

@article{8f5826136a9545afb0647873cfbfa754,

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

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.",

keywords = "Model checking, Multi-agent systems, Runtime verification",

author = "Angelo Ferrando and Vadim Malvone",

year = "2021",

month = jan,

day = "1",

language = "English",

volume = "3072",

pages = "302--310",

journal = "CEUR Workshop Proceedings",