{'fraction_non_alphanumeric': 0.011494252873563218, 'fraction_numerical': 0.0, 'mean_word_length': 5.606060606060606, '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}}
Finite model generation and formal specification development

Efficient supporting tools are very important to the adoption of formal methods. Conventionally such tools are mainly automated theorem provers. We show that model generators can also be very helpful in obtaining formal specifications of software components. These tools help us to know more about certain properties of specifications, such as completeness and consistency.