Login
From:
Surfing Complexity
(Uncensored)
subscribe
Locks, leases, fencing tokens, FizzBee! – Surfing Complexity
https://surfingcomplexity.blog/2025/03/03/locks-leases-fencing-tokens-fizzbee/
links
backlinks
Tagged with:
formal methods
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 …
Roast topics
Find topics
Find it!
