Repository navigation

hw-model-checking

Public

About

Model Checking Homeworks.

Security policy

Custom properties

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
colden.automata.png		colden.automata.png
colden.md		colden.md
colden.object.png		colden.object.png
colden.pml		colden.pml
colden.sh		colden.sh
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
fireman.automata.png		fireman.automata.png
fireman.md		fireman.md
fireman.prism		fireman.prism
fireman.props		fireman.props
philosophers.smv		philosophers.smv
security.automata.png		security.automata.png
security.cfg		security.cfg
security.md		security.md
security.tla		security.tla

Repository files navigation

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

About

Model Checking Homeworks.

Security policy

Custom properties

0 stars

0 watching

Report repository

Contributors

Languages