SymboleoPC: checking properties of legal contracts

2024/07/03 by Alireza Parvizimosaed, Marco Roveri, Aidin Rasti +5 · 1 voice · 2 citations
Computer Science · Social Sciences · #Artificial Intelligence in Law #Formal Methods in Verification #Multi-Agent Systems and Negotiation

paper · doi:10.1007/s10270-024-01180-2

crossref issued 2024/07/03 · crossref published 2024/07/03 · crossref published-online 2024/07/03 · openalex publication_date 2024/07/03 · crossref created 2024/07/03 · crossref deposited 2025/07/24 · crossref published-print 2025/08/01 · openalex created_date 2025/10/10 · crossref indexed 2025/12/08 · openalex updated_date 2026/07/29

Cited by

• SymboleoAC: an access control model for smart legal contracts
• The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies

Discussions

• #OnlineFirst SymboleoPC: checking properties of legal contracts Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo & John Mylopoulos doi.o [bsky, 2 points, 0 comments]