Домашние задания по проверке моделей

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
atomic.pml		atomic.pml
channels.pml		channels.pml
colden.md		colden.md
counter.smv		counter.smv
crossroad.md		crossroad.md
crossroad.smv		crossroad.smv
cruise.md		cruise.md
cruise.py		cruise.py
cruise.smv		cruise.smv
cruise.smvc		cruise.smvc
hello.pml		hello.pml
philosophers.smv		philosophers.smv
processes.pml		processes.pml
statements.pml		statements.pml
variables.pml		variables.pml
verify_me.pml		verify_me.pml

Provide feedback