README.md

Formal-Specification-and-Verification-of-Programs-Fall-2020

In this repository, you can find all of my projects for the Formal Specification and Verification of Programs course instructed by Prof. Hasan Mirian when I was in 1st semester of my masters's at SUT.

My projects list for this course:

Assignmnets-01	Details
Finding GCD and LCM of two numbers Specification	Z-notation
Graph Coloring with Minimum Colors Specification	Z-notation

Assignmnets-02	Details
Tic-tac-toe Game Specification	Z-notation
Pac-Man Game Specification	Z-notation

Assignmnets-03	Details
Online medical consultation system	Z-notation

Assignmnets-04	Details
Family Payment Systems	Z-notation