Ivaylo Gochkov Colloquium
AnWeb: a system for automatic support to web application verification
, Eugenio di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli.
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