{'fraction_non_alphanumeric': 0.013145539906103286, 'fraction_numerical': 0.0, 'mean_word_length': 5.345238095238095, '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}}
Message Sequence Charts Based Specification of the Communicating Threads to the Verified Image Compression Technique using Concurrent Wavelet Transform

Message Sequence Charts (MSCs) can be used effectively to specify the communicating threads in the way where high-level transition systems is used to capture the control flow of the system components. This specification is amenable to formal verification. Here, we present the way how we can specify the communicating threads using MSCs and how we can verify the correctness of the concurrent wavelet transform used for the purpose of image compression. We have used Symbolic Model Verifier (SMV) for the use of formal verification. The introduction of wavelet transform for image compression followed by the MSC based specification for concurrent wavelet transform is presented. The concurrency in the threads for concurrent wavelet transform along with the grammar of the syntax formulated is accessed. At the end, the verification result of the concurrent wavelet transform using the SMV program is presented.