2 papers
cs.SE2025
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
Regan Meloche, Durga Sivakumar, Amal A. Anda +4
Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays…
cs.SE2024
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal +2
Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code gen…