Routing - A challenge to formal methods

被引：0
|
作者：
Reed, JN [1 ]
Sinclair, JE [1 ]
Reed, GM [1 ]
机构：
[1] Oxford Brookes Univ, Oxford OX3 0BP, England
来源：
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS | 1999年
关键词：
deductive reasoning; model checking; routing protocols;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We examine a class of network routing protocols, and identify limitations to modelling them adequately with state-of-the-art deductive reasoning and model checking techniques. The specific notations used are action systems and FDR.
引用
收藏
页码：305 / 311
页数：7
相关论文
共 50 条
  • [1] The 2016 Formal Methods for Robotics Challenge
    Raman, Vasumathi
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2016, 23 (03) : 24 - 25
  • [2] Verification of Interdomain Routing System Based on Formal Methods
    Zang, Zhiyuan
    Luo, Guiming
    Yin, Chongyuan
    [J]. Tsinghua Science and Technology, 2009, 14 (01) : 83 - 89
  • [3] Verification of Interdomain Routing System Based on Formal Methods
    臧志远
    罗贵明
    殷翀元
    [J]. Tsinghua Science and Technology, 2009, 14 (01) : 83 - 89
  • [4] A grand challenge proposal for formal methods: A verified stack
    Moore, JS
    [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 161 - 172
  • [5] Safety Across the HW/SW Interface - Can Formal Methods Meet the Challenge?
    Bartsch, Christian
    Villarraga, Carlos
    Stoffel, Dominik
    Kunz, Wolfgang
    [J]. 2016 INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), 2016,
  • [6] A formal treatment of onion routing
    Camenisch, J
    Lysyanskaya, A
    [J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2005, PROCEEDINGS, 2005, 3621 : 169 - 187
  • [7] The package routing challenge
    Voss, Bernard
    [J]. Printed Circuit Design, 2002, 19 (01): : 22 - 24
  • [8] Verify This: Memcached-A Practical Long-Term Challenge for the Integration of Formal Methods
    Ernst, Gidon
    Weigl, Alexander
    [J]. INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 82 - 89
  • [9] Formal methods
    Lowe, M
    [J]. FIRST EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1997, : 43 - 43
  • [10] Formal Models of the OSPF Routing Protocol
    Drury, Jack
    Hofner, Peter
    Wang, Weiyou
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (316): : 72 - 120
12345