/University-FIT3013-LiftSystemSpecification

A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.

GNU General Public License v3.0GPL-3.0

Stargazers