Jul 13, 2016 · In this paper we propose methods for the specification and formal verification of complex normative systems that include contrary-to-duty, ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event- ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contrary-to-duty, collective and event- ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contrary-to-duty, collective and event- ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event- ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contrary-to-duty, collective and event- ...

Dive into the research topics of 'CÒIR: Verifying normative specifications of complex systems'. Together they form a unique fingerprint. Sort by; Weight ...

Bibliographic details on CÒIR: Verifying Normative Specifications of Complex Systems.

In this paper we propose methods for the specification and formal verification of complex normative systems that ... [Show full abstract] include contrary-to- ...

In this paper we propose methods for the specification and formal verification of complex normative systems that include contrary-to-duty, collective and event- ...