A Software Tool for Legal Drafting
Daniel Gor\'in (Dpto. Computaci\'on, FCEyN, UBA, Buenos Aires,, Argentina), Sergio Mera (Dpto. Computaci\'on, FCEyN, UBA, Buenos Aires,, Argentina), Fernando Schapachnik (Dpto. Computaci\'on, FCEyN, UBA, Buenos, Aires, Argentina)

TL;DR
This paper introduces FormaLex, a software toolset that uses model checking and an LTL-based language to analyze legal documents for incoherences, drawing parallels with software specifications.
Contribution
It presents a novel approach to legal drafting by adapting software verification techniques, specifically model checking, to identify incoherences in normative legal texts.
Findings
FormaLex effectively detects incoherences in legal documents.
Legal propositions can be largely analyzed using software tools.
The approach bridges legal drafting and software specification methodologies.
Abstract
Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do. In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific subclass of normative propositions. The rest, we postulate, can be dealt with software tools. For such an enterprise the \FormaLex tool set was devised: an LTL-based language and companion tools that utilize model checking to find out normative incoherences in regulations, contracts and other legal…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
