Ivaylo Gochkov Colloquium

Chosen article

AnWeb: a system for automatic support to web application verification, Eugenio di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli.

Supervisor

Wishnu Prasetya

Presentation date

01-12-2005

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).

Presentation

download

Paper

download