3 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
cs.SE2020★ 3 cited
TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syn…