Buchumschlag

Adventures in FRET and Specification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary, Reynolds, Conor, Sheridan, Oisín
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
von: Farrell, Marie, et al.
Veröffentlicht: (2021)

Varanus: Runtime Verification for CSP
von: Luckcuck, Matt, et al.
Veröffentlicht: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
von: Wang, Weiqi, et al.
Veröffentlicht: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Learning From Lessons Learned: Preliminary Findings From a Study of Learning From Failure
von: Sillito, Jonathan, et al.
Veröffentlicht: (2024)

Specification Slicing for VDM-SL
von: Oda, Tomohiro, et al.
Veröffentlicht: (2024)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
von: Chen, Zehan, et al.
Veröffentlicht: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Parse Tree Tracking Through Time for Programming Process Analysis at Scale
von: Rau, Matt, et al.
Veröffentlicht: (2025)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

From B Specifications to $\{log$\}$ Forgrams
von: Cristiá, Maximiliano
Veröffentlicht: (2024)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Semistructured Merge with Language-Specific Syntactic Separators
von: Cavalcanti, Guilherme, et al.
Veröffentlicht: (2024)

LAPIS: Lightweight API Specification for Intelligent Systems
von: Garcia, Daniel
Veröffentlicht: (2026)

A Graphics Function Standard Specification Validator
von: Fraser, Steven D., et al.
Veröffentlicht: (2024)

Measuring Emergent Capabilities of LLMs for Software Engineering: How Far Are We?
von: O'Brien, Conor, et al.
Veröffentlicht: (2024)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
von: Akhond, Mostafijur Rahman, et al.
Veröffentlicht: (2025)

Diagnosing Violations of State-based Specifications in iCFTL
von: Stratan, Cristina, et al.
Veröffentlicht: (2025)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
von: Pasquale, Liliana, et al.
Veröffentlicht: (2025)

LRASGen: LLM-based RESTful API Specification Generation
von: Deng, Sida, et al.
Veröffentlicht: (2025)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
von: Karakaya, Kadiray, et al.
Veröffentlicht: (2024)

Automated Validation of Insurance Applications against Calculation Specifications
von: Datar, Advaita, et al.
Veröffentlicht: (2022)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
von: Borg, Markus
Veröffentlicht: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

An Interactive Empirical Approach to the Validation of Software Package Specifications
von: Fraser, S. D., et al.
Veröffentlicht: (2024)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
von: Balestra, Agustín, et al.
Veröffentlicht: (2026)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
von: Qi, Binhang, et al.
Veröffentlicht: (2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
von: Deng, Xun, et al.
Veröffentlicht: (2025)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
von: Villamizar, Hugo, et al.
Veröffentlicht: (2025)

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)