tlaplus-workshops/ewd998

Distributed termination detection on a ring, due to Shmuel Safra:

TLAShelldetectiontheorem-provingrefinementsafetymodel-checkingterminationspecslivenesstlaplusdistsys
This is stars and forks stats for /tlaplus-workshops/ewd998 repository. As of 29 Mar, 2024 this repository has 43 stars and 48 forks.

ewd998 Experience TLA+ in action by specifying distributed termination detection on a ring, due to Shmuel Safra. Each git commit introduces a new TLA+ concept. Go back to the very first commit to follow along! v00: IDE Click either one of the buttons to launch a zero-install IDE to give the TLA+ specification language a try: (=> Screencast how to create the TLA+ Codespace) v01: Problem statement - Termination detection in a ring v01a: Termination of pleasingly parallel For this tutorial, we...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ahmedshahein/DSP-RTL-LibVerilogMATLABSystemVerilog650230
badgeteam/mch2022-fpga-test-psram-passthroughVerilogShell0000
facontidavide/PlotJugglerC++CMakeC3.7k05220
songquanpeng/go-fileHTMLGoJavaScript622+2620
apache/groovyJavaGroovyHTML5k+11.8k0
eip-work/kuboard-pressJavaScriptHTMLVue19.5k01.4k0
OpenDroneMap/WebODMJavaScriptPythonHTML2.4k08370
Yoast/wordpress-seoJavaScriptPHPHTML1.7k08800
composer/satisPHPJavaScriptTwig3k05120
timber/timberPHPShellOther5.3k+15050