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
相关论文
共 50 条
  • [1] FLAVERS: A finite state verification technique for software systems
    Cobleigh, JM
    Clarke, LA
    Osterweil, LJ
    IBM SYSTEMS JOURNAL, 2002, 41 (01) : 140 - 165
  • [2] Verification of Concurrent Software
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
  • [3] Verification of Concurrent Software
    Kroening, Daniel
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
  • [4] Automated Verification of Concurrent Software
    Kroening, Daniel
    REACHABILITY PROBLEMS, 2013, 8169 : 19 - 20
  • [5] FORMAL VERIFICATION OF CONCURRENT SOFTWARE
    SCHNEIDER, FB
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 59 - 59
  • [6] Cloud-Based Verification of Concurrent Software
    Holzmann, Gerard J.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 311 - 327
  • [7] Concurrent software verification with states, events, and deadlocks
    Chaki, S
    Clarke, E
    Ouaknine, J
    Sharygina, N
    Sinha, N
    FORMAL ASPECTS OF COMPUTING, 2005, 17 (04) : 461 - 483
  • [8] VERCORS: a Layered Approach to Practical Verification of Concurrent Software
    Amighi, Afshin
    Blom, Stefan
    Huisman, Marieke
    2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 495 - 503
  • [9] Concurrent embedded real-time software verification
    Hsiung, PA
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521
  • [10] FACILITY FOR VERIFICATION, TESTING AND DOCUMENTATION OF CONCURRENT PROCESS SOFTWARE.
    Taylor, Richard N.
    Osterwil, Leon J.
    1978, : 36 - 41
12345