corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Record · corpus.blog/posts/01a0bbaf-db95-7338-a77e-197ef4107542

Smart Casual Verification of the Confidential Consortium Framework

Murat Demirbas · published 26 February 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture
1blogs citing
First cited
3 Jun 2025
Most recent
3 Jun 2025
Rank this month
not ranked
External links
8
Words captured
1,159

Cited by

Blog
In the post
Date
A. Jesse Jiryu Davis
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs Read at the source ↗
3 Jun 2025

Links from this post

Link
Host
https://www.microsoft.com/en-us/research/uploads/prod/2024/07/nsdi25spring-final392.pdf
microsoft.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiO5LG5iZ3-FZNeS0pUNrYFx7c0xqo8rXl9c_uY3ItHqAOp2UgseF8vO3ZcTjrJNQGweiUOMsfEvqxcdMZoM6MwutsToDHVFfSWVCuMcL1OkE_r5DIFk44d0TDZ1VYURynZQGb0uDA5oe2elARdu5gGDZ60P2S4khkICRqSNDL8wfRoLFWzypkk9n1x1Tg/s1090/Screenshot%202025-02-26%20at%202.51.27%E2%80%AFPM.png
blogger.googleusercontent.com
https://arxiv.org/pdf/2006.00915
arxiv.org
https://github.com/microsoft/CCF/tree/main/tla
github.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjTK5Af8-Mpx4Rn04Kb71c6vf7c-HDnUFlVhHOSKNWXRbznCJgaSaRnR24aBugRCzKOBV37vp7Bh9hwQHa3lb00Jk1xMm8KVsXjrg92PyhtZOrHiIE4lmgTJxa5S8NtEosBknB1hOnC79gxMBAZlBwn70BHvtsx-adVyx3rJiJQEPy0ff9RUGscwOSEWqE/s1090/Screenshot%202025-02-26%20at%202.53.37%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhx3D2kEKhN5RJhAyeOrH47awrkneTutFcDRLVpfmKngIfrgTKHgX4j1CgGriuXGcQgwyYOvisFVMhSQI1s5pSrnpu_yO7CCy0nGq41dAUjRwquAY_RUozCxgKEtbnLkzdi47-CM7kQbt7XdG93_SPEIpNgLON_d5_TZq83dTBQwXdN1HypZGyxoRV_kbI/s1024/Screenshot%202025-02-26%20at%202.55.18%E2%80%AFPM.png
blogger.googleusercontent.com
https://will62794.github.io/tla-web/
will62794.github.io
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh755c5XPQCcY8tfCP9Eu6J61X1UKxgpnT0ruVuYIUYTlokQznLHYwCiw5uSbbLDLiglujKx3wd_DGpZMM2lEbcZhFA5jzWpq1JBQ794alo5d1n422-BZf3lwJMPehtxQL3ezW9fIXonyMgqwKRtSWCXIpt1MDnO-B0b1-TOnxp4aBzfY-qpC2cBKMkfpQ/s2224/Screenshot%202025-02-26%20at%202.55.37%E2%80%AFPM.png
blogger.googleusercontent.com
Elsewhere on muratbuffalo.blogspot.com (1)