thetumbled / pulsar-tlaplus Public

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

A TLA+ specification of the Apache Pulsar.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
compaction.cfg		compaction.cfg
compaction.tla		compaction.tla

Repository files navigation

pulsar-tlaplus

Model checking Apache Pulsar with TLA+. Currently, following features are modelled:

Topic Compaction

About

A TLA+ specification of the Apache Pulsar.

Report repository

Releases

No releases published

Packages

No packages published

Languages

TLA 100.0%