未找到相关数据
Verification of concurrent software with FLAVERS
被引：7
作者：
Naumovich, G
Dwyer, MB
Clarke, LA
Osterweil, LJ
机构：
来源：
PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
|
1997年
关键词：
data flow analysis;
static analysis;
verification;
accuracy improving;
D O I：
10.1145/253228.253489
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ;
0835 ;
摘要：
In this demonstration we give a scenario of how FLAVERS, an implementation of the incremental accuracy improving data flow analysis approach [1], is used to verify event sequence properties of concurrent or distributed software programs.
引用
收藏
页码：594 / 595
页数：2
相关论文