Cover Image

Towards Operation Proof Obligation Generation for VDM

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Battle, Nick, Larsen, Peter Gorm
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

QuickCheck for VDM
by: Battle, Nick, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

Considering Visualization Example Galleries
by: Yang, Junran, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Towards a Generic Software Architecture for IoT Systems
by: Abuseta, Yousef
Published: (2024)

RECOVER: Toward Requirements Generation from Stakeholders' Conversations
by: Voria, Gianmario, et al.
Published: (2024)