You are here:
(02 Sep 2010,
Date: 2005-12-01 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Students.IvayloGochkov][Ivaylo Gochkov]] ----+++ Title: <nop>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 <nop>AnWeb and compares it with a few other approaches to analyse and verify web applications. The verification properties in <nop>AnWeb are expressed in Computation Tree Logic(CTL), while the verification is done in Symbolic Model Verifier(SMV). <!-- * Set PREV_SKIN = customtitle * Set CUSTOMTOPICTITLE = AnWeb: a system for automatic support to web application verification * Set CUSTOMHEADTITLE = Stc / AnWeb: a system for automatic support to web application verification -->
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?