learning:tla_comparisons

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
learning:tla_comparisons [2024/09/28 15:58] – created - external edit 127.0.0.1learning:tla_comparisons [2025/01/02 16:31] (current) – fponzi
Line 1: Line 1:
-====== TLA+ Vs xxx ======+====== TLA+ vs xxx ======
  
 This page describes how does TLA+ compare to over specification and model checking tools. This page describes how does TLA+ compare to over specification and model checking tools.
 +
 +
 +===== TLA+ vs FizzBee =====
 +Not a full comparison, but this blog post is a good starting point: https://jack-vanlightly.com/analyses/2024/12/5/verifying-kafka-transactions-diary-entry-4-writing-an-initial-fizzbee-spec
  
  • learning/tla_comparisons.1727539111.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1