# News

> Articles on formal methods and distributed systems design: finding real design bugs with model checking, explained for working developers.

Canonical: https://fizzbee.io/posts/