Web Verification
The group aims to develop a methodology for verifying and certifying web sites w.r.t. the properties intended by the web designer. It also intends to make a prototypical implementation and develop a set of tools which form a programming environment for web verification of Web sites, including those developed in this project, which can be used for e-learning and education applications.