🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

What actually works when selling formal methods in industry? What doesn't? The way Galois Principal Mike Dodds sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense. galois.com/articles/what-…

At Galois, we often say things like: “Formal methods form the backbone of everything we do.” But what exactly are formal methods? How do they work, and why are they so important? We created a handy reference page to explain: galois.com/what-are-forma…

Shout out to Galois intern Mark Moeller, who is presenting “Active Learning of Symbolic NetKAT Automata” at #PLDI2025 in Seoul on Wed, June 18! If you’re at PLDI, swing by to say “Hi,” chat about Galois, and nerd out on automata & #NetKAT for packet-switched networks!