:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Battle, Nick, Larsen, Peter Gorm
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2506.12858
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QuickCheck for VDM
por: Battle, Nick, et al.
Publicado: (2024)

Specification Slicing for VDM-SL
por: Oda, Tomohiro, et al.
Publicado: (2024)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
por: Kulik, Tomas, et al.
Publicado: (2024)

Translating a VDM Model of a Medical Device into Kapture
por: Hare, Joe, et al.
Publicado: (2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
por: Sartaj, Hassan, et al.
Publicado: (2025)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
por: Sartaj, Hassan, et al.
Publicado: (2026)

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
por: Talasila, Prasad, et al.
Publicado: (2023)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
por: Feng, Nick, et al.
Publicado: (2024)

Software Engineering for Self-Adaptive Robotics: A Research Agenda
por: Sartaj, Hassan, et al.
Publicado: (2025)

Considering Visualization Example Galleries
por: Yang, Junran, et al.
Publicado: (2024)

PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation
por: Gezgin, Derin, et al.
Publicado: (2026)

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

Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
por: Shaw, Mary
Publicado: (2025)

Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach
por: Muttillo, Vittoriano, et al.
Publicado: (2024)

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
por: Scaramuzza, Filippo, et al.
Publicado: (2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
por: Deng, Xun, et al.
Publicado: (2025)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
por: Desai, Achintya, et al.
Publicado: (2026)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
por: Nitin, Vikram, et al.
Publicado: (2025)

Towards Trust Proof for Secure Confidential Virtual Machines
por: Mao, Jingkai, et al.
Publicado: (2024)

From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
por: Xue, Zhantong, et al.
Publicado: (2025)

A Systematic Study on Generating Web Vulnerability Proof-of-Concepts Using Large Language Models
por: Zhao, Mengyao, et al.
Publicado: (2025)

Selene: Pioneering Automated Proof in Software Verification
por: Zhang, Lichen, et al.
Publicado: (2024)

Combining Tests and Proofs for Better Software Verification
por: Huang, Li, et al.
Publicado: (2026)

RAGOps: Operating and Managing Retrieval-Augmented Generation Pipelines
por: Xu, Xiwei, et al.
Publicado: (2025)

Automated Proof Generation for Rust Code via Self-Evolution
por: Chen, Tianyu, et al.
Publicado: (2024)

LLMs in Code Vulnerability Analysis: A Proof of Concept
por: Sultana, Shaznin, et al.
Publicado: (2026)

CoqPyt: Proof Navigation in Python in the Era of LLMs
por: Carrott, Pedro, et al.
Publicado: (2024)

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
por: Simsek, Deniz, et al.
Publicado: (2025)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
por: Kanchi, Shravya, et al.
Publicado: (2026)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
por: Li, Haoyu, et al.
Publicado: (2026)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
por: Hennicker, Rolf, et al.
Publicado: (2024)

A Minimal Executable Proof for Multi-Language Contract Traceability
por: Kasselman, Werner
Publicado: (2026)

Social Proof is in the Pudding: The (Non)-Impact of Social Proof on Software Downloads
por: Shen, Lucas, et al.
Publicado: (2026)

Towards Automatic Transformations of Coq Proof Scripts
por: Magaud, Nicolas
Publicado: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
por: Chakraborty, Saikat, et al.
Publicado: (2024)

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
por: Kiesel, Jannis, et al.
Publicado: (2025)

Exploring Large Language Models for Analyzing and Improving Method Names in Scientific Code
por: Larsen, Gunnar, et al.
Publicado: (2025)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
por: Gross, Jason, et al.
Publicado: (2022)

Towards Model-Driven Dashboard Generation for Systems-of-Systems
por: Rossi, Maria Teresa, et al.
Publicado: (2024)