Formal verification plays a crucial role in enhancing the reliability of computing systems by
mathematically checking the correctness of a program. Although recent years have …