Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tla-plus
A curated list of projects in awesome lists tagged with tla-plus .
https://github.com/fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus 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: 30 Nov 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/tlaplus/lecture
The TLA+ Video Course by Leslie Lamport
tla tla-plus tla-specification tlaplus
Last synced: 15 Nov 2024
https://github.com/gitpod-samples/template-tlaplus
The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
formal-verification gitpod template tla-plus
Last synced: 24 Nov 2024
https://github.com/gitcordier/tlaplus
brunelleschi tla tla-plus tla-specification tlaplus
Last synced: 24 Dec 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: 15 Nov 2024
