Compliance through model checking

• المؤلفون الرئيسيون: MAHAJAN, Avishkar, STRECKER Martin, WATT, Seng Joe, WONG, Meng Weng (HUANG Mingrong)
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2022
• الموضوعات: Compliance; Knowledge Representation and Reasoning; Computational Law; Model Checking; Legal Writing and Research; Science and Technology Law
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/cclaw/3; https://ink.library.smu.edu.sg/context/cclaw/article/1002/viewcontent/5._Compliance_through_Model_Checking.pdf
• المؤسسة: Singapore Management University

In this short note, we describe part of a case study about Singapore’s Personal Data Protection Act, which we first presented in-formally, then formally as interacting Timed Automata. From these, we derive desiderata on a language and verification framework for reasoning about compliance.