{'fraction_non_alphanumeric': 0.016903914590747332, 'fraction_numerical': 0.0, 'mean_word_length': 4.98404255319149, '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': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Formal verification of a remote serial network

Formal modeling is often used by researchers these days to verify a variety of different protocols. By using formal verification one can precisely confirm the authenticity of results and worst case scenarios, a solution not possible using computer simulations and hardware implementation. This paper formally verifies a protocol designed to work between two computers linked through a wired network. One computer acts as a base station (BS) while the other computer acts as a Sink to a wireless sensor network (WSN). The protocol can perform commands such as link establishment between BS and Sink, inquiring Sink status, inquiring WSN node status, downloading WSN data, uploading WSN data etc. We have verified all aspects of this protocol using formal modeling tools. During this bug hunting process, a few faults have been detected and solved. Our findings and results are reported in this paper. We thus successfully demonstrated that formal verification can find and detect hidden errors from any given protocol and pin points the root cause of bug by generating a trace.