首页|Data-driven Verification of Procedural Programs with Integer Arrays

Data-driven Verification of Procedural Programs with Integer Arrays

Ahmed Bouajjani Wael-Amine Boutglay Peter Habermehl

来源：

Arxiv

Data-driven Verification of Procedural Programs with Integer Arrays

Ahmed Bouajjani Wael-Amine Boutglay Peter Habermehl

作者信息

引用本文复制引用

Ahmed Bouajjani,Wael-Amine Boutglay,Peter Habermehl.Data-driven Verification of Procedural Programs with Integer Arrays[EB/OL].(2025-05-21)[2025-12-13].https://arxiv.org/abs/2505.15958.

学科分类

计算技术、计算机技术

首发时间： 2025-05-21

下载量：0

点击量：3

段落导航

Data-driven Verification of Procedural Programs with Integer Arrays

Data-driven Verification of Procedural Programs with Integer Arrays

引用本文复制引用

学科分类

评论