Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Transforming Natural Language Requirements to Formalism Using LLMs
Transforming Natural Language Requirements to Formalism Using LLMs
Fuente:
Wiley Open Access
Saved in:
Bibliographic Details
Main Authors:
Baoluo Meng
,
Robert Lorch
,
Kit Siu
,
Michael Durling
,
Sarat Chandra Varanasi
,
Saswata Paul
,
Abha Moitra
Format:
Artículo Open Access
Published:
Wiley
2025
Subjects:
Systems Engineering
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Be the first to leave a comment!
Your Comment
You must be logged in first
Similar Items
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
by: Vašíček, Ondřej, et al.
Published: (2024)
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)
Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)
Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)
