- Project Dates: From July 2001 to March 2005
- Project Leader: Prof. Maciej Koutny
- Staff: Prof. Alexander Romanovsky, Prof. Alex Yakovlev
- Sponsors: British Council
The aim of this project work is to assist internet providers in developing robust web applications efficiently and rigorously. This is a crucial step towards an overall aim which is to help making the internet, where people meet virtually but socially, a secure and friendly place, keeping in mind the extent to which the internet community depends on the integrity of web applications.
Within this wide general theme, and among different approaches which might be used to tackle it, this project proposes to focus on the Java programming language, which continues to be widely used for internet applications, and then to concentrate on a set of two objectives: first, to develop a framework for reasoning compositionally about the integrity of Java programs; and second, to add a Java programming facility to an existing model checker in order to make its automatic verification and validation capabilities available to Java programmers.