Oliver Keszöcze, Robert Wille,
"Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision"
, in F. Oppenheimer and J. L. Medina: Languages, Design Methods, and Tools for Electronic System Design, Springer, Seite(n) 101-112, 2016
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Sprache des Titels:
Languages, Design Methods, and Tools for Electronic System Design
Legal regulations are large and complex documents that require experts such as lawyers to be understood. Working with these documents is a manual and time-consuming task. Common use cases are to decide whether a submission is conform with the regulations or to check whether certain corner cases are possible in the given set of rules. We envision to address many of these problems by treating legal regulations in the same manner as system specifications. This allows to apply sophisticated formal methods from Electronic Design Automation (EDA). For this, we briefly discuss the process of (semi)-automatically formalizing legal regulations. Afterwards, we illustrate the correspondence of various problems in the considered domain (here: regulations on scales and fees for medical doctors) with well-known EDA problems. We sketch the application of formal methods by means of examples and envision that in the future, the exploitation of formal methods to analyse legal regulations will greatly help lawmakers and "end users" alike.