Cover Image

An Efficient VCGen-based Modular Verification of Relational Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Blatter, Lionel, Kosmatov, Nikolai, Prevosto, Virgile, Gall, Pascale Le
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
by: Mahe, Erwan, et al.
Published: (2024)

A Case Study on Numerical Analysis of a Path Computation Algorithm
by: Boussu, Grégoire, et al.
Published: (2024)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

Verification of Quantitative Temporal Properties in RealTime-DEVS
by: González, Ariel, et al.
Published: (2024)

LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models
by: Pan, Rongqi, et al.
Published: (2023)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
by: Cheng, Mingfei, et al.
Published: (2026)

Search-based DNN Testing and Retraining with GAN-enhanced Simulations
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)

Modularization is Better: Effective Code Generation with Modular Prompting
by: Pan, Ruwei, et al.
Published: (2025)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
by: Wang, Changjie, et al.
Published: (2025)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
by: Klimek, Radoslaw
Published: (2025)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
by: Ishii, Daisuke
Published: (2024)

On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
by: Palma, Marco Edoardo, et al.
Published: (2024)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

Key-Augmented Neural Triggers for Knowledge Sharing
by: Wolf, Alex, et al.
Published: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

A Highly Efficient Diversity-based Input Selection for DNN Improvement Using VLMs
by: Abbasishahkoo, Amin, et al.
Published: (2026)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2025)

Modular Monolith: Is This the Trend in Software Architecture?
by: Su, Ruoyu, et al.
Published: (2024)

On the Effectiveness of Modular Testing in EvoSuite
by: Dinella, Elizabeth
Published: (2026)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
by: Xiong, Yiheng, et al.
Published: (2026)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Parameter-Efficient Multi-Task Fine-Tuning in Code-Related Tasks
by: Haque, Md Zahidul, et al.
Published: (2026)

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

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

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

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

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)