{'fraction_non_alphanumeric': 0.018641810918774968, 'fraction_numerical': 0.0, 'mean_word_length': 5.427350427350428, '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}}
A purpose-directed reachability analysis approach

The paper presents a new approach for reachability analysis. This is based on analysis purposes that are established by an analyser expert. The analysis purposes address system specification parts that may be 'suspected' of presenting non-reachable states and thus the analysis is especially focused on. Such information about 'suspicious' specification parts to be checked is based on special knowledge about the system code and behaviour. The approach is characterized by its usefulness comparatively to other complex and theoretical approaches, for instance, to those based on petri nets. We describe the analysis purposes and explain how reachability analysis can be performed using this concept.