TY - GEN
T1 - Exploiting electronic design automation for checking legal regulations
T2 - 16th Conference on Languages, Design Methods, and Tools for Electronic System Design, FDL 2014
AU - Keszocze, Oliver
AU - Wille, Robert
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2016
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84952838049&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-24457-0_6
DO - 10.1007/978-3-319-24457-0_6
M3 - Conference contribution
AN - SCOPUS:84952838049
SN - 9783319244556
T3 - Lecture Notes in Electrical Engineering
SP - 101
EP - 112
BT - Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2014
A2 - Oppenheimer, Frank
A2 - Pasaje, Julio Luis Medina
PB - Springer Verlag
Y2 - 14 October 2014 through 16 October 2014
ER -