Using multi-agent systems to go beyond temporal patterns verification
Article
Raimondi, F. 2016. Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News. 3 (2), pp. 69-77.
Type | Article |
---|---|
Title | Using multi-agent systems to go beyond temporal patterns verification |
Authors | Raimondi, F. |
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. |
Publisher | ACM |
Journal | ACM SIGLOG News |
Publication dates | |
04 Apr 2016 | |
Publication process dates | |
Deposited | 03 May 2016 |
Accepted | 09 Mar 2016 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 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... |
Web address (URL) | http://siglog.hosting.acm.org/wp-content/uploads/2014/04/siglog_news_8.pdf |
Language | English |
https://repository.mdx.ac.uk/item/86597
Download files
66
total views10
total downloads0
views this month0
downloads this month