In this repository, you can find all of my projects for the Verification of Reactive Systems course instructed by Prof. Ali Movaghar when I was in 2nd semester of my masters's at SUT.
My projects list for this course:
| Project titles | Details |
|---|---|
| Memory Anonymous Mutual Exclusion | Actor/Rebeca/LTL |
| Missionary Cannibal Problem | NuSMV/LTL |