#Tla

Showing 2 of 2 repositories tagged #tla, ranked by stars

Interactive playground for exploring and sharing TLA+ specifications in the browser.

★ 209 ⑂ 15 +1/day

SASwap_TLAplus_spec

TLA+ specification for Succinct Atomic Swap smart contract

★ 23 ⑂ 3 —

Related Topics

#tlaplus #formal-methods #formal-specification #model-checking #verification #visualization #atomic-swap #bitcoin #smart-contracts #tla-specification