Cover Image

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rafie, Bassel, Schindler, Christian, Rausch, Andreas
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

Software Process as a Service: Towards A Software Process Ecosystem
by: Greulich, Oliver, et al.
Published: (2025)

LLM-Based Design Pattern Detection
by: Schindler, Christian, et al.
Published: (2025)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
by: Herbold, Steffen, et al.
Published: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption
by: Khatami, Ali, et al.
Published: (2026)

Towards Benchmarking Design Pattern Detection Under Obfuscation: Reproducing and Evaluating Attention-Based Detection Method
by: Shenoy, Manthan, et al.
Published: (2025)

Reliability of Large Language Models for Design Synthesis: An Empirical Study of Variance, Prompt Sensitivity, and Method Scaffolding
by: Iftikhar, Rabia, et al.
Published: (2026)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

Emergent Software Service Platform and its Application in a Smart Mobility Setting
by: Wilken, Nils, et al.
Published: (2023)

Methodology for Test Case Allocation based on a Formalized ODD
by: Skoglund, Martin, et al.
Published: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
by: Sun, Chuyue, et al.
Published: (2025)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

From Education to Evidence: A Collaborative Practice Research Platform for AI-Integrated Agile Development
by: Geger, Tobias, et al.
Published: (2026)

LLMs-Powered Real-Time Fault Injection: An Approach Toward Intelligent Fault Test Cases Generation
by: Abboush, Mohammad, et al.
Published: (2025)

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

Describing Agentic AI Systems with C4: Lessons from Industry Projects
by: Rausch, Andreas, et al.
Published: (2026)

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

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

Human-AI Collaboration for Scaling Agile Regression Testing: An Agentic-AI Teammate from Manual to Automated Testing
by: Outmani, Moustapha El, et al.
Published: (2026)

Preparing Students for AI-Driven Agile Development: A Project-Based AI Engineering Curriculum
by: Rausch, Andreas, et al.
Published: (2026)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
by: Banerjee, Debangshu, et al.
Published: (2026)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
by: Sadykov, Rustam, et al.
Published: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
by: Bouchekir, Radouane, et al.
Published: (2025)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
by: Hatahet, Ahmad, et al.
Published: (2025)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
by: Aslam, Iqra, et al.
Published: (2023)

An explainable hybrid deep learning-enabled intelligent fault detection and diagnosis approach for automotive software systems validation
by: Abboush, Mohammad, et al.
Published: (2026)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
by: Zhou, Xiaofeng, et al.
Published: (2026)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework
by: Yang, Haoyue, et al.
Published: (2025)

Lights-Out: An Automated Ground Segment for unstaffed Satellite Operations
by: Böcker, Marvin, et al.
Published: (2025)

Reinforcement Learning for Mutation Operator Selection in Automated Program Repair
by: Hanna, Carol, et al.
Published: (2023)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
by: Hassnain, Muhammad, et al.
Published: (2025)

Portus: Linking Alloy with SMT-based Finite Model Finding
by: Dancy, Ryan, et al.
Published: (2024)

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

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

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)