Verification of Real-Time Systems using Linear Relation Analysis
暂无分享,去创建一个
Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such ...