About this collection

Short notes on building dependable software. These pages collect short explanations that can be read independently.

Content is provided for general reference. Examples should be adapted to the task at hand.