Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tlaps
A curated list of projects in awesome lists tagged with tlaps .
https://github.com/lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
fifo fifo-queue java model-checking specification tla tlaplus tlaps
Last synced: 30 Oct 2024
https://github.com/lemmy/blockingqueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
fifo fifo-queue java model-checking specification tla tlaplus tlaps
Last synced: 30 Oct 2024
https://github.com/hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
lamport-specifying-systems model-checking theorem-proving tla-hyperbook tlaplus tlaplus-video-course tlaps tlc
Last synced: 10 Nov 2024
https://github.com/hengxin/tlaps-examples
Examples for TLAPS (TLA+ Proof System)
formal-methods theorem-prover theorem-proving tlaplus tlaps
Last synced: 10 Nov 2024
https://github.com/hengxin/jupiter-refinement-project
Jupiter Refinement Project
collaborative-editing formal-verification jupiter refinement tla tlaplus tlaps tlc
Last synced: 10 Nov 2024
https://github.com/gitcordier/markdowntolatex
Markdown to LaTeX
command-line-app command-line-interface latex latex-document markdown markdown-parser markdown-to-latex markdown-to-pdf tla-plus tla-specification tlaplus tlaps xelatex
Last synced: 11 Oct 2024
https://github.com/hengxin/formal-methods
Formal Methods
boogie coq dafny formal-methods sat smt tlaplus tlaps
Last synced: 10 Nov 2024