Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for tla specification
tla-specification
x
6 search results found
Practical Fm
⭐
437
A gently curated list of companies using verification formal methods in industry
Communitymodules
⭐
243
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Fpaxos Tlaplus
⭐
35
TLA+ specification of Flexible Paxos
Tlaplus_specs
⭐
18
Different TLA+ specifications, mostly for learning purposes
Tezedge Specification
⭐
16
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Saswap_tlaplus_spec
⭐
10
TLA+ specification for Succinct Atomic Swap smart contract
Related Searches
Tlaplus Tla Specification (8)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.