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 条
  • [21] The regional movement model for hierarchical mobile IP
    Zhao, QL
    Feng, L
    Li, ZC
    COMPUTER COMMUNICATIONS, 2004, 27 (15) : 1481 - 1492
  • [22] An Approach to Testing with Embedded Context Using Model Checker
    Duan, Lihua
    Chen, Jessica
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 66 - 85
  • [23] Software Analysis of Internet Bots using a Model Checker
    Koike, Eri
    Nishizaki, Shin-ya
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C), 2014, : 242 - 245
  • [24] Extended state identification and verification using a model checker
    Robinson-Mallett, Christopher
    Liggesmeyer, Peter
    Muecke, Tilo
    Goltz, Ursula
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (10) : 981 - 992
  • [25] Verifying Networked Programs Using a Model Checker Extension
    Leungwattanakit, Watcharin
    Artho, Cyrille
    Hagiya, Masami
    Tanabe, Yoshinori
    Yamamoto, Mitsuharu
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 409 - +
  • [26] Analysing MTL Properties using NuSMV Model Checker
    Shreya, V
    Nanda, Manju
    2016 IEEE INTERNATIONAL CONFERENCE ON RECENT TRENDS IN ELECTRONICS, INFORMATION & COMMUNICATION TECHNOLOGY (RTEICT), 2016, : 817 - 820
  • [27] Using a Volterra system model to analyze nonlinear response in video-packet transmission over IP networks
    Masugi, Masao
    Takuma, Takehisa
    COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2007, 12 (03) : 411 - 421
  • [28] A Model Checker for AADL
    Bozzano, Marco
    Cimatti, Alessandro
    Katoen, Joost-Pieter
    Nguyen, Viet Yen
    Noll, Thomas
    Roveri, Marco
    Wimmer, Ralf
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 562 - +
  • [29] Wireless network extension using mobile IP
    Geiger, RL
    Solomon, JD
    Crisler, KJ
    IEEE MICRO, 1997, 17 (06) : 63 - 68
  • [30] Wireless network extension using Mobile IP
    Geiger, RL
    Solomon, JD
    Crisler, KJ
    DIGEST OF PAPERS: COMPCON SPRING 96, FORTY-FIRST IEEE COMPUTER SOCIETY INTERNATIONAL CONFERENCE - INTELLECTUAL LEVERAGE, 1996, : 9 - 14
12345