{'fraction_non_alphanumeric': 0.0223463687150838, 'fraction_numerical': 0.0011173184357541898, 'mean_word_length': 5.3546099290780145, '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}}
Extending the Safety-Progress Classification of Properties in a Runtime Verification Context

This paper revisit and extends results about the Safety-Progress classification of properties introduced by Chang, Manna, and Pnueli [1]. Our work is motivated by runtime verification, as so we believe that this general classification is a good basis for specifying properties. In runtime verification, a major and distinguishing feature is the interest of finite execution sequences and their validation of properties. Indeed, finite execution sequences are often abstract representation of incremental chunks of a program execution. These executions sequences are fed to a monitor, i.e. a mechanism designed to state appraisal wrt. a desired property under scrutiny. We show in this paper, that the four views originally dedicated to infinitary properties can be uniformly extended to finitary ones.