/Elevator-Model-Checking-using-nuXmv

A 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.

This repository is not active