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