IljaZakharov / TLAexample Public

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

Proof of the refeinement from my PhD implemented.

GPL-3.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
ELZ.toolbox		ELZ.toolbox
LZ.toolbox		LZ.toolbox
ELZ.pdf		ELZ.pdf
ELZ.tla		ELZ.tla
LICENSE		LICENSE
LZ.pdf		LZ.pdf
LZ.tla		LZ.tla
README.md		README.md
elz.thy		elz.thy

Repository files navigation

Example of refinement in TLA+

This example contains an abstract model of signal exchange according to the rendezvous model mentioned in my PhD theses theory.

About

Proof of the refeinement from my PhD implemented.

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages