ALGORITHMS, FORMATIVITY AND PARAMETERIZED ABSTRACTION

被引：0
|
作者：
Marcos, Carlos L.
机构：
来源：
EGA-REVISTA DE EXPRESION GRAFICA ARQUITECTONICA | 2010年 / 15期
关键词：
D O I：
暂无
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
引用
收藏
页码：94 / 101
页数：8
相关论文
共 50 条
  • [1] Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
    Aminof, Benjamin
    Rubin, Sasha
    Stoilkovska, Ilina
    Widder, Josef
    Zuleger, Florian
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 1 - 24
  • [2] Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction
    John, Annu
    Konnov, Igor
    Schmid, Ulrich
    Veith, Helmut
    Widder, Josef
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 201 - 209
  • [3] Environment abstraction for parameterized verification
    Clarke, E
    Talupur, M
    Veith, H
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 126 - 141
  • [4] Monotonic Abstraction in Parameterized Verification
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 3 - 14
  • [5] Parameterized verification by probabilistic abstraction
    Arons, T
    Pnueli, A
    Zuck, L
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 87 - 102
  • [6] Automatic abstraction for verification of parameterized systems
    Zhang, Long
    Qu, Wanxia
    Guo, Yang
    Li, Sikun
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2014, 26 (06): : 991 - 998
  • [7] Mechanizing the CMP Abstraction for Parameterized Verification
    Li, Yongjian
    Zhan, Bohua
    Pang, Jun
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [8] Parameterized verification through view abstraction
    Abdulla, Parosh
    Haziza, Frederic
    Holik, Lukas
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (05) : 495 - 516
  • [9] Parameterized verification through view abstraction
    Parosh Abdulla
    Frédéric Haziza
    Lukáš Holík
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 495 - 516
  • [10] SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
    Konnov, Igor
    Veith, Helmut
    Widder, Josef
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 85 - 102
12345