SaiAdarsh / Finite-State-Model Public

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

To create a finite state model of a traffic-light controller and using the NuSMV symbolic model-checker verify its properties

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
My assumption.txt		My assumption.txt
README.md		README.md
Requirements.txt		Requirements.txt
Scope.txt		Scope.txt
model.smv		model.smv
properties		properties

Repository files navigation

Finite-State-Model

To create a finite state model of a traffic-light controller and using the NuSMV symbolic model-checker verify its properties

About

To create a finite state model of a traffic-light controller and using the NuSMV symbolic model-checker verify its properties

Report repository

Releases

No releases published

Packages

No packages published