St. Patrick's Day may be over but we're still thinking about fake gold 🍀 New post: we spec'd the Zerocash faerie-gold vulnerability in Quint and could clearly see the scenario where it gets exploited. Then we saw how a Zcash-like fix solves it.

@leaddev.com just published a piece featuring Quint's @bugarela.bsky.social on engineers who aren't letting AI push them out. On why AI makes her work more relevant, not less: "It actually feels like the industry is now catching up to the problem I've spent the past several years working on."

Ever find yourself asking "how do I even get to the state I want to test?" Witnesses in Quint answer that question. Define the state you're looking for and Quint finds an execution path that gets you there. No manual trace construction required.

A Quint Connect refresher: did you know you can automatically test that your Rust implementation matches your Quint spec? That's what Quint Connect is for, model-based testing designed to work well with LLMs.

The team is cooking 🧑‍🍳

New to Quint? Here's everything you need to get started 👇

AI is good at generating code. It's not good at telling you whether that code is correct. @bugarela walked through how a Quint-assisted workflow addresses that gap at @summit_defi last year.

We used to build trust and understanding in software while writing it. LLMs broke that, and now we need a new process. Our new blog post argues for executable specifications as the new home for design, and shows what checkable requirements look like in practice.

Late-breaking news: one more, international keynote speaker at BugBash! By special request, @bugarela.bsky.social of Informal Systems will be coming to talk about executable specs. Get your tickets below!

Quint now has its own bsky account! We'll be posting tips and tricks, use cases, release updates, and more. Join us in writing better >executable< specs in the LLM era.