Compliance through model checking

• Main Authors: 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

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.