Elevator Model Checking

This repository is related to my team's project for formal methods course by Dr.Pouria Khanzadi.

Here we have modeled a simple elevator using promela/spin and NuSMV and verified this system.