@jayaprabhakar.bsky.social
Reposted
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
Jayaprabhakar(JP) Kadarkarai on Formal Methods & Verification from ep.5
May 19, 2025 at 2:18 PM
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
Jayaprabhakar(JP) Kadarkarai on Formal Methods & Verification from ep.5
Reposted
Locks, leases, fencing tokens, FizzBee https://lobste.rs/s/987gmh ##distributed
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 …
surfingcomplexity.blog
March 18, 2025 at 10:00 PM
Locks, leases, fencing tokens, FizzBee https://lobste.rs/s/987gmh ##distributed
Reposted
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
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…
lu.ma
February 13, 2025 at 8:47 PM
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