首页|期刊导航|计算机科学技术学报（英文版）|PARF:An Adaptive Abstraction-Strategy Tuner for Static Analysis

PARF:An Adaptive Abstraction-Strategy Tuner for Static Analysis

王钟逸陈明帅林滕劼杨麟禹卓俊豪王秋野秦胜潮伊晓尹建伟

计算机科学技术学报（英文版）2025，Vol.40Issue(4)：993-1005,13.

计算机科学技术学报（英文版）2025，Vol.40Issue(4)：993-1005,13.DOI:10.1007/s11390-025-5140-6

PARF:An Adaptive Abstraction-Strategy Tuner for Static Analysis

王钟逸 ¹陈明帅 ¹林滕劼 ¹杨麟禹 ¹卓俊豪 ¹王秋野 ¹秦胜潮 ¹伊晓 ¹尹建伟¹

作者信息

折叠

摘要

关键词

automatic parameter tuning/FRAMA-C/E VA/program verification/static analysis/abstraction strategy

Key words

automatic parameter tuning/FRAMA-C/E VA/program verification/static analysis/abstraction strategy

引用本文复制引用

王钟逸,陈明帅,林滕劼,杨麟禹,卓俊豪,王秋野,秦胜潮,伊晓,尹建伟..PARF:An Adaptive Abstraction-Strategy Tuner for Static Analysis[J].计算机科学技术学报（英文版）,2025,40(4):993-1005,13.

基金项目

This work was supported by the Zhejiang Provincial Natural Science Foundation Major Program under Grant No.LD24F020013,the CCF-Huawei Populus Grove Fund under Grant No.CCF-HuaweiFM202301,the Fundamental Research Funds for the Central Universities of China under Grant No.226-2024-00140,and the Zhejiang University Education Foundation's Qizhen Talent Program. （）

计算机科学技术学报（英文版）

ISSN：1000-9000

访问量0

下载量0

段落导航