Design verification of Web Applications using symbolic model checking

被引：0
|
作者：
Di Sciascio, E [1 ]
Donini, FM
Mongiello, M
Totaro, R
Castelluccia, D
机构：
[1] Politecn Bari, Dipartimento Elettrotech & Elettron, Bari, Italy
[2] Univ Tuscia, Viterbo, Italy
来源：
WEB ENGINEERING, PROCEEDINGS | 2005年 / 3579卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.
引用
收藏
页码：69 / 74
页数：6
相关论文
共 50 条
  • [21] Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking
    Hasegawa, Isamu
    Yokogawa, Tomoyuki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022, E105D (01) : 78 - 91
  • [22] Automatic support for verification of secure transactions in distributed environment using symbolic model checking
    Di Sciascio, Eugenio
    Donini, Francesco M.
    Mongiello, Marina
    Piscitelli, Giacomo
    Journal of Computing and Information Technology, 2001, 9 (03) : 185 - 195
  • [23] Formal verification of SDG diagnosability via symbolic model checking
    Ning N.
    Zhang J.
    Gao X.-Y.
    Xue J.
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2011, 33 (02): : 390 - 394
  • [24] Model Checking Web Applications Based On Web Navigation
    Jiang, Mingyue
    Ding, Zuohua
    2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, : 694 - 697
  • [25] Model checking-based verification of Web application
    Miao, Huaikou
    Zeng, Hongwei
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 47 - +
  • [26] Verification of embedded real-time systems using symbolic model checking: A case study
    Duan, Z. (zhhduan@mail.xidian.edu.cn), 1600, Science and Engineering Research Support Society, 20 Virginia Court, Sandy Bay, Tasmania, Australia (06):
  • [27] Formal verification of a snoop-based cache coherence protocol using symbolic model checking
    Srinivasan, S
    Chhabra, PS
    Jaini, PK
    Aziz, A
    John, L
    TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 288 - 293
  • [28] Using Model-Checking for Timing Verification in Industrial System Design
    Rioux, Laurent
    Henia, Rafik
    Sordon, Nicolas
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 377 - 378
  • [29] Application of symbolic and bounded model checking to the verification of logic control systems
    Loeis, Kingliana
    Younis, Mohammed Bani
    Frey, Georg
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 247 - 250
  • [30] ebXML verification using model checking
    Di Sciascio, E
    Donini, FM
    Mongiello, M
    Piscitelli, G
    ITI 2004: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2004, : 455 - 460
12345