Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Automated Consistency Analysis for Legal Contracts
Alan Khoja, Martin Kölbl, Stefan Leue +1
Business contracts, particularly sale and purchase agreements, often contain a large number of clauses and are correspondingly long and complex. In practice, it is therefore a grea…
cs.LO2022
Formal Modeling and Analysis of Legal Contracts using ContractCheck
Alan Khoja, Martin Kölbl, Stefan Leue +1
We describe a method and tool called \textit{ContractCheck} that allows for the consistency analysis of legal contracts, in particular Sales Purchase Agreements (SPAs). The analysi…