{'fraction_non_alphanumeric': 0.017094017094017096, 'fraction_numerical': 0.0, 'mean_word_length': 4.655172413793103, '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}}
Model Verification in Xa : A Type Inference Approach

In this paper we describe a number of model analysis and verification operations based on type inference in the Xu simulation language. Xu is a simulation language based on the typed A-calculus. Xu entities correspond to typed A-expressions, while Au activities correspond to subtypes. Thus, entities can be generated by means of type-introduction rules, and operations can be defined on entities by means of type elimination and equality rules. Premises of the form e E r in an introduction rule used to create a new entity can be satisfied by substituting for e any entity of type r in a neighboring activity. It is then possible to perform a number of model analysis and verification operations using type inference algorithms available for the typed A-calculus.