Title | ||
---|---|---|
Verifying Normative System Specification containing Collective Imperatives and Deadlines |
Abstract | ||
---|---|---|
Our focus is on the specification and verification of normative systems that include contrary-to-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 model checker, we show how Linear Temporal Logic properties can be verified, and provide some experimental results. |
Year | DOI | Venue |
---|---|---|
2015 | 10.5555/2772879.2773454 | Autonomous Agents and Multi-Agent Systems |
Keywords | Field | DocType |
Model Checking, Normative Systems, Collective Imperatives | Normative systems,Model checking,Computer science,Normative,Linear temporal logic,Theoretical computer science,System requirements specification,Syntax,Semantics | Conference |
Citations | PageRank | References |
1 | 0.35 | 4 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luca Gasparini | 1 | 4 | 2.08 |
Timothy J. Norman | 2 | 1417 | 140.04 |
Martin J. Kollingbaum | 3 | 390 | 33.38 |
Liang Chen | 4 | 116 | 7.56 |
John-Jules Ch. Meyer | 5 | 1 | 0.35 |