Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tla-specification
A curated list of projects in awesome lists tagged with tla-specification .
https://github.com/ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
coq formal-methods formal-verification formal-verification-methods practice software-engineering tla-specification tlaplus
Last synced: 10 Oct 2024
https://github.com/tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 30 Oct 2024
https://github.com/ElliotSwart/pragmaticformalmodeling
An instructional website with progressively worked examples of TLA+ specifications and model checking.
formal-methods formal-verification tla-plus tla-specification
Last synced: 09 Aug 2024
https://github.com/tezedge/tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
formal-verification tezos tezos-blockchain tla tla-specification tlaplus
Last synced: 08 Aug 2024
https://github.com/hop-protocol/tla-spec
📜 WIP Hop Protocol TLA+ Specification
hop hop-protocol specification tla tla-plus tla-specification tlaplus wip wip-do-not-use
Last synced: 09 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/gitcordier/tlaplus
brunelleschi tla tla-plus tla-specification tlaplus
Last synced: 06 Nov 2024