Software safety: why, what, and how | Synapse