analisi di contratti legali in stipula

I contratti legali sono insiemi di clausole che specificano protocolli in grado di regolare le interazioni tra le diverse parti. Queste clausole possono dipendere da vincoli, temporali e non, non soddisfacibili. Quindi è importante poter riconoscere ed eliminare queste clausole errate in quanto non daranno nessun apporto al contratto. In questa trattazione analizzeremo il problema delle clausole errate presenti nei contratti legali scritti in Stipula, un linguaggio specifico per la progettazione di contratti legali. In particolare verrà riportata l'attenzione sul linguaggio Stipula, verrà presentata la teoria della raggiungibilità, verrà presentata l'implementazione dell'analizzatore e, infine, verranno eseguiti alcuni test.