Heidi Howard
@heidihoward.bsky.social
Also thanks to Andrew Helwer for shouting us out in the TLA+ Monthly Development Update foundation.tlapl.us/blog/2025-05...
May 2025 Monthly Development Update
This is the TLA⁺ Foundation monthly development update (subscribe via RSS). Here we summarize the past month of development for the benefit of Foundation patrons and interested members of the communit...
foundation.tlapl.us
May 20, 2025 at 2:32 PM
Also thanks to Andrew Helwer for shouting us out in the TLA+ Monthly Development Update foundation.tlapl.us/blog/2025-05...
Of course arxiv.org/abs/2406.17455
Smart Casual Verification of the Confidential Consortium Framework
The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger service and as such ...
arxiv.org
April 28, 2025 at 1:53 PM
Of course arxiv.org/abs/2406.17455