InterpChecker: Reducing State Space via Interpolations

Duan, Z; Tian, C; Duan, ZH; Ong, CHL

Tian, C (reprint author), Xidian Univ, ICTT, Xian 710071, Shaanxi, Peoples R China.; Tian, C (reprint author), Xidian Univ, ISN Lab, Xian 710071, Shaanxi, Peoples R China.

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018; 10806 (): 432

Abstract

InterpChecker is a tool for verifying safety properties of C programs. It reduces the state space of programs throughout the verification via two new ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索