collaborators

1 paper

cs.SE2026

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications

Alberto Tagliaferro, Bruno Guindani, Livia Lestingi +1

Early-stage specifications of safety-critical systems are typically expressed in natural language, making it difficult to derive formal properties suitable for verification and nee…