(Semi)automatic translation of legal regulations to formal representations: Expanding the horizon of EDA applications

Caused by the challenges in the design of today's hardware and software systems, tools for electronic design automation (EDA) became impressively powerful. However, these accomplishments can also be exploited in other domains. In fact, the steps of formalizing and checking legal regulations share many similarities with established EDA design steps. In this work, this is demonstrated by proposing the application of EDA tools in the domain of law processing. We propose a (semi)automatic translation of real rules and regulations into a formal representation. Afterwards, we discuss how-similar to the hardware/software design-these formalization can be utilized in the respective domain.