In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
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
formal-specification-and-verification-of-programs-fall-2020's People