g83wang / Carousel-TLA Public

forked from kmsalem/Carousel-TLA

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

PlusCal/TLA+ Carousel Protocol Specification

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.gitignore		.gitignore
README.md		README.md
carousel.tla		carousel.tla
chan.pml		chan.pml
ndmatch.pml		ndmatch.pml

Repository files navigation

This is to verify some properties of the Carosol Model.

I worked in this project as a research assistant.

About

PlusCal/TLA+ Carousel Protocol Specification

Report repository

Releases

No releases published

Packages

No packages published

Languages

TLA 100.0%