Pattern-based verification for trees

被引：0
|
作者：
Ceska, Milan [1 ]
Erlebach, Pavel [1 ]
Vojnar, Tomas [1 ]
机构：
[1] Brno Univ Technol, FIT, CZ-61266 Brno, Czech Republic
来源：
COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 | 2007年 / 4739卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verification of programs using dynamic data structures linked with pointers. It proved to be very efficient and promising on extended linear data structures. In this paper, we overview some possibilities how to extend this approach to programs over tree structures.
引用
收藏
页码：488 / 496
页数：9
相关论文
共 50 条
  • [1] Pattern-Based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    Poch, Tomas
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 36 (03):
  • [2] Complexity of Pattern-based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (01) : 499 - 510
  • [3] Complexity of Pattern-based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    [J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 499 - 510
  • [4] Description and Verification of Pattern-Based Composition in Coq
    Liu, Qiang
    Ynag, Zhongyuan
    Xie, Jinkui
    [J]. ADVANCES IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 28 : 231 - 245
  • [5] Pattern-Based Design and Verification of Secure Service Compositions
    Pino, Luca
    Spanoudakis, George
    Krotsiani, Maria
    Mahbub, Khaled
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2020, 13 (03) : 515 - 528
  • [6] A pattern-based approach for the verification of business process descriptions
    Patig, Susanne
    Stolz, Manuela
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (01) : 58 - 87
  • [7] Pattern-based verification of connections to intellectual property cores
    Polian, I
    Günther, W
    Becker, B
    [J]. INTEGRATION-THE VLSI JOURNAL, 2003, 35 (01) : 25 - 44
  • [8] Verification of automatically generated pattern-based LTL specifications
    Salamah, Salamah
    Gates, Ann Q.
    Kreinovich, Vladik
    Roach, Steve
    [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 341 - 348
  • [9] Formal verification of the value pattern-based translation algorithm
    Kim, Jinhyung
    Jeong, Dongwon
    Baik, Doo-Kwon
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1359 - 1363
  • [10] Efficient pattern-based verification of connections to IP cores
    Polian, I
    Günther, W
    Becker, B
    [J]. 10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 443 - 448
12345