2 papers
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
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…