Published January 27, 2025
| Version v2
Dataset
Open
Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Description
This repository contains all the files used in the experiments described in the paper "Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo", which appeared in "RAISE 2025: Requirements engineering for AI-powered SoftwarE", an ICSE 2025 workshop, Ottawa, May 3, 2025.
Files
SymboleoLLM.zip
Files
(352.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:cb9f4c5bf27544d8e282a3742460d76f
|
352.9 kB | Preview Download |