{'fraction_non_alphanumeric': 0.0166358595194085, 'fraction_numerical': 0.0, 'mean_word_length': 5.376470588235295, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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 the corresponding web application model, informs the developer about possible errors and therefore increases software stability and quality.