Formal verification tools like TLA+, FizzBee, and Antithesis serve different stages: design-level verification versus implementation-level testing.

Jayaprabhakar(JP) Kadarkarai on Formal Methods & Verification from ep.5

Issues · slatedb/slatedb-go A cloud native embedded storage engine built on object storage. - Issues · slatedb/slatedb-go

@hillelwayne.com FizzBee does exactly this. At present only supports Go.
github.com/slatedb/slat...

It started with the idea from @emptysqua.re's paper "Extreme modeling in practice" but making it easier to use. In addition to that FizzBee also tests concurrency that's not typically covered.

Locks, leases, fencing tokens, FizzBee! FizzBee is a new formal specification language, originally announced back in May of last year. FizzBee’s author, Jayaprabhakar (JP) Kadarkarai, reached out to me recently and asked me what I …

Locks, leases, fencing tokens, FizzBee https://lobste.rs/s/987gmh #distributed

FizzBee automatically tests with various fault injection. Node crash is one of them.
fizzbee.io/tutorials/fa...
To mark some fields as ephemeral, you just need to add an annotation `@state(ephemeral=["inmem_field1", "inmem_field2"])`.
I'd be happy to assist.

Paxos made visual in FizzBee Unfortunately, Paxos is quite difficult to understand, in spite of numerous attempts to make it more approachable. — Diego Ongaro and John Ousterhout, In Search of an Understandable Consensus Algor…

New blog post on using FizzBee to model Paxos

surfingcomplexity.blog/2025/03/09/p...

SF Systems Meetup: Correctness and Security for Distributed Systems · Luma The SF Systems Meetup is back for the new year! This meetup, our theme is correctness and security. It's easy to write a distributed protocol, but very hard to…

The SF Systems Meetup is back! On 2/27, we're excited to have headline talks from the creator of FizzBee and a research collaborator with Signal. This is going to be a super fun night diving deep into making distributed protocols work, hope you'll join us! lu.ma/vqjf30k3

I really thought you were talking about 1:30 am until I got to the end...

That would be awesome. I'd be happy to answer any questions about FizzBee.