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 条
  • [41] Composite model-checking: Verification with type-specific symbolic representations
    Bultan, T
    Gerber, R
    League, C
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2000, 9 (01) : 3 - 50
  • [42] A practical approach to the formal verification of SoC's with symbolic model-checking
    Dumitrescu, E
    SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, 2003, : 98 - 110
  • [43] FSM modeling of synchronous VHDL design for symbolic model checking
    Bei, JS
    Li, HX
    Bian, JN
    Xue, HX
    Hong, XL
    PROCEEDINGS OF ASP-DAC '99: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1999, 1999, : 363 - 366
  • [44] Using MTBDDs for discrete timed symbolic model checking
    Kropf, T
    Ruf, J
    EUROPEAN DESIGN & TEST CONFERENCE - ED&TC 97, PROCEEDINGS, 1997, : 182 - 187
  • [45] Model Checking in Parallel Logic Controllers Design and Verification
    Doligalski, Michal
    Tkacz, Jacek
    Gratkowski, Tomasz
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON SOFTWARE DEVELOPMENT AND OBJECT TECHNOLOGIES, 2017, 511 : 35 - 53
  • [46] Verification of Process Operations using Model Checking
    Voronov, Alexey
    Akesson, Knut
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 415 - 420
  • [47] Symbolic Model Checking: A Comprehensive Review for Critical System Design
    Karmakar, Rahul
    ADVANCES IN DATA AND INFORMATION SCIENCES, 2022, 318 : 693 - 703
  • [48] Diagnosability verification using LTL model checking
    Thiago M. Tuxi
    Lilian K. Carvalho
    Eduardo V. L. Nunes
    Antonio E. C. da Cunha
    Discrete Event Dynamic Systems, 2022, 32 : 399 - 433
  • [49] Symbolic Model Checking Commitment Protocols Using Reduction
    El-Menshawy, Mohamed
    Bentahar, Jamal
    Dssouli, Rachida
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT), 2011, 6619 : 185 - 203
  • [50] Diagnosability verification using LTL model checking
    Tuxi, Thiago M.
    Carvalho, Lilian K.
    Nunes, Eduardo V. L.
    da Cunha, Antonio E. C.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (03): : 399 - 433
12345