Cover Image

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sousa, Tiago, Ries, Benoît, Guelfi, Nicolas
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data Augmentation in Earth Observation: A Diffusion Model Approach
by: Sousa, Tiago, et al.
Published: (2024)

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

The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations
by: Broccia, Giovanna, et al.
Published: (2026)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
by: Giannouris, Polydoros, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
by: Conrardy, Aaron, et al.
Published: (2024)

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

Systematic teaching of UML and behavioral diagrams
by: Metzner, Anja
Published: (2024)

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

Assessing UML Diagrams by GPT: Implications for Education
by: Wang, Chong, et al.
Published: (2024)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
by: Abdeen, Waleed, et al.
Published: (2025)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
by: Wang, Changjie, et al.
Published: (2025)

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

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

Enhancing a gamified tool for UML modeling education
by: Garaccione, Giacomo, et al.
Published: (2026)

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

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
by: Lu, Xu, et al.
Published: (2025)

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

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
by: Risco-Martín, José L., et al.
Published: (2024)

Using the SOCIO Chatbot for UML Modelling: A Family of Experiments
by: Ren, Ranci, 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)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
by: Kolthoff, Kristian, et al.
Published: (2025)

How LLMs Aid in UML Modeling: An Exploratory Study with Novice Analysts
by: Wang, Beian, et al.
Published: (2024)

Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
by: Lazzari, Luan, et al.
Published: (2025)

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

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

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

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
by: Zhou, Zhi Quan, et al.
Published: (2026)

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
by: Elekes, Márton, et al.
Published: (2023)

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

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

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

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
by: Ma, Zhi, et al.
Published: (2024)

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
by: Blain, Dominik
Published: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
by: Cheng, Haowei, et al.
Published: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)