Formal Verification of Web Applications


Web applications are executed in a browser environment, widely used and can be developed with the Google Web Toolkit (GWT). This paper presents a domainspecific language (DSL) for modeling GWT web application and an automated transformation of the DSL into Promela which is the input language of the model checker Spin. Spin checks the complete state space of… (More)