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 |