This repository has been archived by the owner on Oct 27, 2019. It is now read-only.

pgram1 / Promela-CW Public archive

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

A coursework on formal methods

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
code.pml		code.pml

Repository files navigation

Promela-CW

A coursework on formal methods that was finished on our second undergraduate level of studies.

The paper accompanying the source code has been purged from the repo.

Contributors:

About

A coursework on formal methods

Report repository

Releases

No releases published

Packages

No packages published