In the world of software development and engineering, ensuring precision is paramount. Verification methods play a crucial role in evaluating the quality of systems and products. These methods encompass a range of techniques aimed at detecting potential errors quickly in the development cycle. Formal Casual Through employing diverse set of veri