Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
FSM.drawio		FSM.drawio
FSM.png		FSM.png
README.md		README.md
elevator-description.pdf		elevator-description.pdf
elevator.pml		elevator.pml
elevator.smv		elevator.smv
mindmap.drawio		mindmap.drawio
mindmap.png		mindmap.png

Repository files navigation

Elevator Model Checking

This repository is related to my team's project for formal methods course by Dr.Pouria Khanzadi.

Here we have modeled a simple elevator using promela/spin and NuSMV and verified this system.

About

Modeling an elevator with formal methods of software engineering (For formal methods in software engineering university course)

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages