@inproceedings{878b681cfa8f4655a90b916420499591,
title = "C{\`O}IR: Verifying normative specifications of complex systems",
abstract = "Existing approaches for the verification of normative systems consider limited representations of norms, often neglecting collective imperatives, deadlines and contrary-to-duty obligations. In order to capture the requirements of real-world scenarios, these structures are important. In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its linear temporal logic model checker, we show how important properties can be verified for such systems, and provide some experimental results for both bounded and unbounded verification.",
keywords = "Collective imperatives, Model checking, Normative systems",
author = "Luca Gasparini and Norman, {Timothy J.} and Kollingbaum, {Martin J.} and Liang Chen and Meyer, {John Jules C}",
year = "2016",
doi = "10.1007/978-3-319-42691-4_8",
language = "English",
isbn = "9783319426907",
volume = "9628",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "134--153",
editor = "V Dignum and P Noriega and P Sensoy and Sichman, {J S}",
booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems XI",
note = "International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015 ; Conference date: 04-05-2015 Through 04-05-2015",
}