DISTRIBUTED REACHABILITY ANALYSIS FOR PROTOCOL VERIFICATION ENVIRONMENTS

被引：0
|
作者：
AGGARWAL, S
ALONSO, R
COURCOUBETIS, C
机构：
[1] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544
[2] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES | 1988年 / 103卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：40 / 56
页数：17
相关论文
共 50 条
  • [21] Verification of liveness properties using compositional reachability analysis
    Cheung, SC
    Giannakopoulou, D
    Kramer, J
    SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 227 - 243
  • [22] Faster Pushdown Reachability Analysis with Applications in Network Verification
    Jensen, Peter Gjol
    Schmid, Stefan
    Schou, Morten Konggaard
    Srba, Jiri
    Vanerio, Juan
    van Duijn, Ingo
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021, 2021, 12971 : 170 - 186
  • [23] A distributed service composition protocol for pervasive environments
    Chakraborty, D
    Yesha, Y
    Joshi, A
    2004 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-4: BROADBAND WIRELESS - THE TIME IS NOW, 2004, : 2575 - 2580
  • [24] Secrecy analysis of security protocol based on reachability relation
    Gu, Yong-Gen
    Fu, Yu-Xi
    Zhu, Han
    Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (02): : 255 - 261
  • [25] A work-efficient distributed algorithm for reachability analysis
    Orna Grumberg
    Tamir Heyman
    Assaf Schuster
    Formal Methods in System Design, 2006, 29 : 157 - 175
  • [26] A work-efficient distributed algorithm for reachability analysis
    Grumberg, O
    Heyman, T
    Schuster, A
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 54 - 66
  • [27] Using forward reachability analysis for verification of lossy channel systems
    Abdulla, PA
    Collomb-Annichini, A
    Bouajjani, A
    Jonsson, B
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (01) : 39 - 65
  • [28] A Coordinated Reachability Analysis Method for Modular Verification of Asynchronous Designs
    Zheng, Hao
    2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 130 - 137
  • [29] Verification of robotic surgery tasks by reachability analysis: a comparison of tools
    Bresolin, Davide
    Geretti, Luca
    Muradore, Riccardo
    Fiorini, Paolo
    Villa, Tiziano
    2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 659 - 662
  • [30] Distributed Set Reachability
    Gurajada, Sairam
    Theobald, Martin
    SIGMOD'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2016, : 1247 - 1261
12345