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 条
  • [31] Reachability Analysis for the Verification of Adaptive Protection Setting Selection Logic
    Abdulhadi, Ibrahim
    Dysko, Adam
    Burt, Graeme
    IEEE TRANSACTIONS ON POWER DELIVERY, 2014, 29 (05) : 2206 - 2214
  • [32] A work-efficient distributed algorithm for reachability analysis
    Grumberg, Orna
    Heyman, Tamir
    Schuster, Assaf
    FORMAL METHODS IN SYSTEM DESIGN, 2006, 29 (02) : 157 - 175
  • [33] Speculative Image Computation for Distributed Symbolic Reachability Analysis
    Chung, Ming-Ying
    Ciardo, Gianfranco
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (01) : 63 - 83
  • [34] Property verification of communication protocols based on probabilistic reachability analysis
    Baldi, M
    Macii, E
    Poncino, M
    PROCEEDINGS OF THE 39TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 1996, : 1143 - 1146
  • [35] Using Forward Reachability Analysis for Verification of Lossy Channel Systems
    Parosh Aziz Abdulla
    Aurore Collomb-Annichini
    Ahmed Bouajjani
    Bengt Jonsson
    Formal Methods in System Design, 2004, 25 : 39 - 65
  • [36] Formal Verification of Robotic Contact Tasks via Reachability Analysis
    Tang, Chencheng
    Althoff, Matthias
    IFAC PAPERSONLINE, 2023, 56 (02): : 7912 - 7919
  • [37] Compositional Reachability Analysis for Efficient Modular Verification of Asynchronous Designs
    Zheng, Hao
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (03) : 329 - 340
  • [38] Online Verification of Automated Road Vehicles Using Reachability Analysis
    Althoff, Matthias
    Dolan, John M.
    IEEE TRANSACTIONS ON ROBOTICS, 2014, 30 (04) : 903 - 918
  • [39] Reachability Verification of Rhapsody Statecharts
    Madhukar, Kumar
    Metta, Ravindra
    Singh, Priyanka
    Venkatesh, R.
    IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 96 - 101
  • [40] Reachability verification for hybrid automata
    Henzinger, TA
    Rusu, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 190 - 204
12345