Accepted Papers

List of Accepted Papers

Robust Deep Reinforcement Learning Using Formal Verification
Avraham Raviv, Shaiel Vistuch, Erel Dekel, Boaz Gurevich and Hillel Kugler

Detecting speculative data flow vulnerabilities using weakest precondition reasoning
Graeme Smith

Mining Diamonds in labeled Transition Systems
Flip van Spaendonck and Kevin Jilissen

Stable Ranges: Shared Dichotomy in Large Version-Controlled Repositories
Laurent Bulteau, Pierre-Yves David, Florian Horn and Euxane Tran-Girard

Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal
Yibo Dong, Yu Chen, Jianwen Li and Geguang Pu

State Significance-Guided Fuzzing for Stateful Protocol Program
Kunpeng Jian, Yanyan Zou, Chen Wang, Ning Li, Menghao Li and Wei Huo

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
Ziyun Xu, Hao Wang and Meng Sun

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
Andrea Manini, Matteo Rossi and Pierluigi San Pietro

Failure divergence refinement for Event-B
Sebastian Stock, Michael Leuschel and Atif Mashkoor

Portability of Optimizations from SC to TSO
Akshay Gopalakrishnan and Clark Verbrugge

Dependent Assertion Logic for Modular Software Verification
Lukas Grätz

FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models
Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li and Min Zhou

A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq
Leo Alexander Gummersbach, Kim Völlinger and Andrei Aleksandrov

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro and Norbert Tihanyi

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
Chengxi Yang, Shushu Wu and Qinxiang Cao

Machine-Checked Compositional Specification and Proofs for Embedded Systems
Karl Palmskog, Mattias Nyberg and Dilian Gurov

Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification
Wenda Leng, Meihua Liu and Yufeng Jin

A Cross-domain Data Sharing Scheme Based on Federated Blockchain
Honglin Mao, Jie Zhang, Yao Zhang and Xiaohong Li

Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness
Ai Liu, Yang Liu, Shaoying Liu and Zhibin Yang

COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation
Hongbin Zhang, Shihao Gao, Yang Liu, Mingjie Xing, Yanjun Wu and Chen Zhao

SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses
Chen Shuhao, Jiang Menghua and Chen Yin