PatrickShaw / University-FIT3013-LiftSystemModel Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A model checking specification written in NuSMV that specifies a model of a single lift elevator system.

GPL-3.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
docs		docs
src		src
LICENSE		LICENSE
README.md		README.md
Run lift-fixed.bat		Run lift-fixed.bat
Run lift-multi-fixed.bat		Run lift-multi-fixed.bat
Run lift-multi.bat		Run lift-multi.bat
Run lift.original.bat		Run lift.original.bat

Repository files navigation

FIT3013-Assignment-3

Assignment 3

About

A model checking specification written in NuSMV that specifies a model of a single lift elevator system.

university study mathematics assignment theory nusmv formal-specification

GPL-3.0 license

Report repository

Releases

No releases published

Packages

Contributors 2

Languages

Batchfile 100.0%