Using the ASTRAL model checker to analyze mobile IP

被引：0
|
作者：
Univ of California, Santa Barbara, CA, United States [1 ]
机构：
来源：
Proc Int Conf Software Eng | / 132-141期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
相关论文
共 50 条
  • [31] The SmlMC model checker
    Boeke, W
    DR DOBBS JOURNAL, 2003, 28 (03): : 48 - +
  • [32] The JKIND Model Checker
    Gacek, Andrew
    Backes, John
    Whalen, Mike
    Wagner, Lucas
    Ghassabani, Elaheh
    COMPUTER AIDED VERIFICATION, CAV 2018, PT II, 2018, 10982 : 20 - 27
  • [33] The model checker SPIN
    Holzmann, GJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 279 - 295
  • [34] The SPINJA Model Checker
    de Jonge, Marc
    Ruys, Theo C.
    MODEL CHECKING SOFTWARE, 2010, 6349 : 124 - 128
  • [35] Authentication of mobile node using AAA in coexistence of VPN and mobile IP
    Kim, M
    Kim, M
    Mun, Y
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1, 2004, 3043 : 199 - 206
  • [36] Internet Connectivity between Mobile Adhoc Network Using Mobile IP
    Mane, Sayali N.
    Nigvekar, A. R.
    COMPUTATIONAL INTELLIGENCE AND INFORMATION TECHNOLOGY, 2011, 250 : 466 - +
  • [37] Improved route updated model for mobile IP networks
    Bao, Lier
    Hu, Xiulin
    Wei, Jiaolong
    Lang, Peilin
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (09): : 8 - 11
  • [38] Using the NuSMV Model Checker for Test Generation from Statecharts
    Kadono, Masaya
    Tsuchiya, Tatsuhiro
    Kikuno, Tohru
    IEEE 15TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2009, : 37 - 42
  • [39] Modeling, Verification and Testing of Web Applications Using Model Checker
    Homma, Kei
    Izumi, Satoru
    Takahashi, Kaoru
    Togashi, Atsushi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011, E94D (05): : 989 - 999
  • [40] Building a new CTL model checker using Web Services
    Stoica, Florin
    Stoica, Laura Florentina
    2013 21ST INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM 2013), 2013, : 285 - 289
12345