learning:tla_comparisons

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
learning:tla_comparisons [2024/09/28 16:26] – fponzilearning:tla_comparisons [2025/01/02 16:31] (current) – fponzi
Line 2: Line 2:
  
 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.1727540797.txt.gz
  • Last modified: 2024/09/28 16:26
  • by fponzi