Een weg, een ziekenhuis en een model delen één probleem: bewijs

Veiligheidskritische systemen falen op verschillende manieren, maar hebben dezelfde discipline nodig: een claim in een context, bewijs dat je kunt...