Post

Here it is! The blog post about @quint-lang.org that I've been trying to get out since Friday. 😄 It gives an overview of the kinds of formal methods I know of, as well as my recent experiences using Quint to design the arbiter service we've been working on.

Nice post! I’ve also been playing with both Quint and Lean a bunch recently. Feels like the biggest gap is going from correct model -> correct production code. I’ve spent more time closing this gap than on verification. Curious if you’re in a similar boat.

I haven't gotten to that step yet, other than giving model-based testing a try real quick. I'll most-likely have a follow-up post once I get further into things.

Get ready for the fun part haha. Here’s a doc on how I’m using it. Maybe useful. hxrts.com/aura/806_ver...