Using multi-agent systems to go beyond temporal patterns verification

Raimondi, Franco (2016) Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News, 3 (2). pp. 69-77.

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (327kB) | Preview

Abstract

A key step in formal verification is the translation of requirements into logic formulae. Various flavours of temporal logic are commonly used in academia and in industry to capture, among others, liveness and safety requirements. In the past two decades there has been a substantial amount of work in the area of verification of extensions of temporal logic. In this column I will provide a high level overview of some work in this area, focussing in particular on the verification of temporal-epistemic properties, showing how temporal-epistemic logics can be used to capture requirements that are common in many concrete systems, and describing a model checker for multi-agent systems called MCMAS.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 19691
Notes on copyright: © Raimondi, Franco | ACM (2016). This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM SIGLOG News, 3(2), http://siglog.hosting.acm.org/wp-content/uploads/2014/04/siglog_news_8.pdf.
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 03 May 2016 15:36
Last Modified: 31 May 2019 13:12
URI: https://eprints.mdx.ac.uk/id/eprint/19691

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year