Chair for Software and Systems Engineering
University of Konstanz, Germany
Host: Ruzica Piskac
Please let Ruzica know if you would like to meet with the speaker.
Automated Consistency Checking of Legal Contracts
I will discuss consistency analysis of legal contracts, in particular sales purchase agreements. During the negotiation phase, contracts undergo frequent change. At the same time, sales and purchase agreements often have considerable complexity. It is, hence, desirable to have automated consistency analysis available so as to avoid inconsistent or non-favorable contractual agreements. I describe the system LegalCheck. For a contract given in a structured block syntax it synthesizes a logical representation in decidable fragments of first order logic. It then performs consistency analysis using SMT solving. ContractCheck can also identify unfavorable contractual positions using MaxSMT solving.