首页|期刊导航|Computer Modeling in Engineering & Sciences|AutoINF:Path-Sensitive Invariant Inference for Multipath Loops

AutoINF:Path-Sensitive Invariant Inference for Multipath Loops

Abeer S.Hadad Fahman Saeed Adeeb A.Ahmed Jiangbin Zheng

Computer Modeling in Engineering & Sciences2026，Vol.148Issue(7)：P.1011-1042,32.

Computer Modeling in Engineering & Sciences2026，Vol.148Issue(7)：P.1011-1042,32.DOI:10.32604/cmes.2026.083873

AutoINF:Path-Sensitive Invariant Inference for Multipath Loops

Abeer S.Hadad ¹Fahman Saeed ²Adeeb A.Ahmed ³Jiangbin Zheng¹

作者信息

1. School of Software,Northwestern Polytechnical University,Xi’an,China
2. College of Computer and Information Sciences,Imam Mohammad Ibn Saud Islamic University(IMSIU),Riyadh,Saudi Arabia
3. School of Electro-Mechanical Engineering,Xidian University,Xi’an,China
折叠

摘要

关键词

Numerical loop invariant/multipath loops/counterexample-guided refinement/program analysis and verification/software reliability/disjunctive invariants

分类

信息技术与安全科学

引用本文复制引用

Abeer S.Hadad,Fahman Saeed,Adeeb A.Ahmed,Jiangbin Zheng..AutoINF:Path-Sensitive Invariant Inference for Multipath Loops[J].Computer Modeling in Engineering & Sciences,2026,148(7):P.1011-1042,32.

基金项目

supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University(IMSIU)(grant number IMSIU-DDRSP2603). （IMSIU）

Computer Modeling in Engineering & Sciences

ISSN：1526-1492

访问量0

下载量0

段落导航