# \#rosette

**URL:** https://racket.discourse.group/tag/rosette/224.md

[Latest](https://racket.discourse.group/latest.md) · [Categories](https://racket.discourse.group/categories.md) · [Tags](https://racket.discourse.group/tags.md)

---

## [How Cloudflare Uses Racket and Rosette to Verify DNS Changes](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983)

<div class="topic-metadata">

**Author:** [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Replies:** 2\
**Last updated:** [October 25, 2025, 9:05pm UTC](https://racket.discourse.group/t/how-cloudflare-uses-racket-and-rosette-to-verify-dns-changes/3983 "2025-10-25T21:05:57Z")

</div>

How Cloudflare Uses Racket and Rosette to Verify DNS Changes Keynote presentation by James Larisch and Suleman Ahmad at (fifteenth RacketCon) October 4-5, 2025 UMass Boston https://youtu.be/7Twlh-Opq5E (M…

---

## [Cloudflare blog post about using racket + rosette](https://racket.discourse.group/t/cloudflare-blog-post-about-using-racket-rosette/3336)

<div class="topic-metadata">

**Author:** [@jbclements](https://racket.discourse.group/u/jbclements)\
**Replies:** 2\
**Last updated:** [November 20, 2024, 2:53am UTC](https://racket.discourse.group/t/cloudflare-blog-post-about-using-racket-rosette/3336 "2024-11-20T02:53:14Z")

</div>

This post describes using racket + rosette for formal verification of cloudflare configurations. This work was also published at SIGCOMM 2024: Larisch, James, Timothy Alberdingk Thijm, Suleman Ahmad, Peter Wu, Tom Ar…