GitHub - adishreea/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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
ReadME.pdf		ReadME.pdf
elevator.smv		elevator.smv
mult.smv		mult.smv

About

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.

software-engineering finite-state-automata modelchecking nuxmv

Activity

3 stars

0 watching

0 forks

Report repository

Releases

No releases published

Packages

Contributors 1

adishreea Adishree Annabathula

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

About

Uh oh!

Releases

Packages

Uh oh!

Contributors 1

Folders and files

Latest commit

History

About

Topics

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors 1

Packages