Formal Verification of Websites

被引：5
|
作者：
Flores, Sonia [1 ]
Lucas, Salvador [1 ]
Villanueva, Alicia [1 ]
机构：
[1] Univ Politecn Valencia, DSIC, Camino de Vera S-N, E-46022 Valencia, Spain
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 200卷 / 03期
关键词：
Models of the Web; Graph representation; Formal Verification; Model Checking;
D O I：
10.1016/j.entcs.2008.04.095
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined as a collection of web pages which are semantically connected in some way. External web pages (which are related pages not belonging to the website) are treated as the environment of the system. We also present the logic which is used to specify properties of websites, and illustrate the kinds of properties that can be specified and verified by using a model-checking tool on the system. In this setting, we discuss some interesting properties which often need to be checked when designing websites. We have encoded the model using the specification language Maude which allows us to use the Maude model-checking tool.
引用
收藏
页码：103 / 118
页数：16
相关论文
共 50 条
  • [1] Formal methods for verification of websites macrostructure integrity
    M. R. Kogalovsky
    E. N. Efimova
    T. A. Rybina
    V. B. Brakhin
    Programming and Computer Software, 2000, 26 : 186 - 191
  • [2] Formal methods for verification of websites macrostructure integrity
    Kogalovsky, MR
    Efimova, EN
    Rybina, TA
    Brakhin, VB
    PROGRAMMING AND COMPUTER SOFTWARE, 2000, 26 (04) : 186 - 191
  • [3] Formal Verification
    Meenakshi, B.
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2005, 10 (05): : 26 - 38
  • [4] Formal verification
    B Meenakshi
    Resonance, 2005, 10 (5) : 26 - 38
  • [5] VERIFICATION - FORMAL OR OTHERWISE
    NEALE, RG
    ELECTRONIC ENGINEERING, 1994, 66 (811): : 5 - 5
  • [6] Formal Verification of a Keystore
    Boender, Jaap
    Badevic, Goran
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 49 - 64
  • [7] Formal verification at Intel
    Harrison, J
    18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 45 - 54
  • [8] Formal verification of μ-charts
    Goldson, D
    APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 129 - 136
  • [9] Formal verification of synchronizers
    Kapschitz, T
    Ginosar, R
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 359 - 362
  • [10] Formal Verification of HotStuff
    Jehl, Leander
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2021, 2021, 12719 : 197 - 204
12345