adishreea / elevator-model-checking-using-nuxmv Goto Github PK
View Code? Open in Web Editor NEWA model designed for an elevator that also checks the constraints and specifications for a finite state machine. Also contains a finite state machine for multiplication.