In the previous post in this series I talked about Ada. Having hopefully whetted your whistle for safety-critical programming, this time I’m going to squeeze a little bit further down this rabbit hole and talk about a language called B, which is part of a broader set of tools and techniques known as the B method.