{'fraction_non_alphanumeric': 0.01327433628318584, 'fraction_numerical': 0.0, 'mean_word_length': 5.79, '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}}
Can Graph Grammars Make Formal Methods More Human?

Formal methods are scarcely used in industrial applications. Industrial strength tools and educational effort do not significantly help in promoting formal methods. Main obstacles to the industrial application of formal methods are lack of flexibility and specialization, and difficulties in interpreting analysis results. This paper argues that graph grammars can help in overcoming such limitations and suggests translation rules, based on graph grammars, as a natural merging of formalizations based on graph grammars and rule based approaches, thus indicating a challenging practical application domain for graph grammars.