Repository navigation

University-FIT3013-LiftSystemSpecification

Public

About

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

assignment event-b formal-specification group-assignment mathematics rodin university

GPL-3.0 license

2 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
Assignment1		Assignment1
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

fit3013-assignment-1

FIT3013 Assignment 1

About

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

assignment event-b formal-specification group-assignment mathematics rodin university

GPL-3.0 license

2 stars

1 watching

Report repository

Releases

Packages

Contributors