#

tlaps

Here are 7 public repositories matching this topic...

lemmy / BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

java specification model-checking fifo fifo-queue tla tlaplus tlaps

Updated Oct 28, 2022
TLA

hengxin / tlaplus-at-nju-disalg

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

theorem-proving model-checking tlc tla-hyperbook lamport-specifying-systems tlaplus-video-course tlaplus tlaps

Updated Feb 16, 2022
TeX

hengxin / tlaps-examples

Examples for TLAPS (TLA+ Proof System)

theorem-proving formal-methods theorem-prover tlaplus tlaps

Updated May 9, 2020
TeX

gitcordier / md2latex

Markdown to LaTeX. Specs in TLA+

python markdown latex python3 xelatex tlaplus tlaps md2latex

Updated Dec 2, 2020
Python

hengxin / paxosstore-tla

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

wechat formal-methods paxos distributed-consensus tecent tlaplus tlaps paxosstore

Updated Aug 16, 2019
TLA

hengxin / jupiter-refinement-project

Jupiter Refinement Project

refinement jupiter formal-verification tla collaborative-editing tlc tlaplus tlaps

Updated Nov 23, 2020
TeX

hengxin / formal-methods

Formal Methods

coq formal-methods dafny smt boogie sat tlaplus tlaps

Updated Feb 10, 2021

Improve this page

Add a description, image, and links to the tlaps topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tlaps topic, visit your repo's landing page and select "manage topics."