CONSTRAINTS, ABSTRACTION, AND VERIFICATION

被引：0
|
作者：
WEISE, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 408卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
下载
收藏
页码：25 / 39
页数：15
相关论文
共 50 条
  • [1] Verification by abstraction
    Shankar, N
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 367 - 380
  • [2] VeriAbs: Verification by Abstraction
    Chimdyalwar, Bharti
    Darke, Priyanka
    Chauhan, Avriti
    Shah, Punit
    Kumar, Shrawan
    Venkatesh, R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 404 - 408
  • [3] VERIFICATION BY ABSTRACTION AND BISIMULATION
    ZUIDWEG, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 105 - 116
  • [4] CONSTRAINTS ON THE ABSTRACTION OF SOLUTIONS
    REED, SK
    JOURNAL OF EDUCATIONAL PSYCHOLOGY, 1989, 81 (04) : 532 - 540
  • [5] Environment abstraction for parameterized verification
    Clarke, E
    Talupur, M
    Veith, H
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 126 - 141
  • [6] Predicate abstraction in protocol verification
    Pek, E
    Bogunovic, N
    CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 627 - 632
  • [7] Verification by augmented finitary abstraction
    Kesten, Y
    Pnueli, A
    INFORMATION AND COMPUTATION, 2000, 163 (01) : 203 - 243
  • [8] Interface abstraction for compositional verification
    Gurov, D
    Huisman, M
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 414 - 423
  • [9] Monotonic Abstraction in Parameterized Verification
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 3 - 14
  • [10] Abstraction as the key for invariant verification
    Bensalem, S
    Graf, S
    Lakhnech, Y
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 67 - 99
12345