TLA+ vs xxx

This page describes how does TLA+ compare to over specification and model checking tools.

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