Cover Image

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hähnle, Reiner, Laneve, Cosimo, Veschetti, Adele
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
by: Corazza, Jan, et al.
Published: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
by: Pirzada, Muhammad A. A., et al.
Published: (2026)

Assessing Code Understanding in LLMs
by: Laneve, Cosimo, et al.
Published: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
by: Ganesha, et al.
Published: (2025)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
by: Ishii, Daisuke
Published: (2024)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, et al.
Published: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
by: Hennicker, Rolf, et al.
Published: (2024)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
by: Müller, Robert, et al.
Published: (2024)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts
by: Abdelaziz, Tamer, et al.
Published: (2023)

Reusability and Modifiability in Robotics Software (Extended Version)
by: Pomponio, Laura, et al.
Published: (2024)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
by: Bombarda, Andrea, et al.
Published: (2026)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
by: Tihanyi, Norbert, et al.
Published: (2025)

Using LLMs to Facilitate Formal Verification of RTL
by: Orenes-Vera, Marcelo, et al.
Published: (2023)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024)

Legal Requirements Translation from Law
by: Singhal, Anmol, et al.
Published: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
by: Liu, Jiale, et al.
Published: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
by: Tan, Max
Published: (2026)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
by: Wijayakoon, Chanuka, et al.
Published: (2025)

Teaching Machines to Code: Smart Contract Translation with LLMs
by: Karanjai, Rabimba, et al.
Published: (2024)

How We Built Cedar: A Verification-Guided Approach
by: Disselkoen, Craig, et al.
Published: (2024)

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities
by: Salzano, Francesco, et al.
Published: (2025)