Exploiting electronic design automation for checking legal regulations: A vision

Oliver Keszocze, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationLanguages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2014
EditorsFrank Oppenheimer, Julio Luis Medina Pasaje
PublisherSpringer Verlag
Pages101-112
Number of pages12
ISBN (Print)9783319244556
DOIs
StatePublished - 2016
Externally publishedYes
Event16th Conference on Languages, Design Methods, and Tools for Electronic System Design, FDL 2014 - Munich, Germany
Duration: 14 Oct 201416 Oct 2014

Publication series

NameLecture Notes in Electrical Engineering
Volume361
ISSN (Print)1876-1100
ISSN (Electronic)1876-1119

Conference

Conference16th Conference on Languages, Design Methods, and Tools for Electronic System Design, FDL 2014
Country/TerritoryGermany
CityMunich
Period14/10/1416/10/14

Fingerprint

Dive into the research topics of 'Exploiting electronic design automation for checking legal regulations: A vision'. Together they form a unique fingerprint.

Cite this