Nop An Web ASystem For Automatic Support To Web Application Verification
Stc
Date: 2005-12-01
Time: 11:45
Room: BBL room 471
Title: AnWeb: a system for automatic support to web application verification
Abstract
In our days the complexity of web applications grows rapidly. This
triggers some correctness problems, which require new tools for
analysis, testing, validation and verification of web applications.
This paper discusses such a tool called AnWeb and compares it with a
few other approaches to analyse and verify web applications. The
verification properties in AnWeb are expressed in Computation Tree
Logic(CTL), while the verification is done in Symbolic Model
Verifier(SMV).
