Skip to content

What We Mean by Safety

Safety is a highly overloaded term in different communities and contexts. To ease communication, we’ve summarized our definitions and understanding of safety in the Hylo repo.

For the curious, here are some further resources that go into more detail, and provide an expanded framework to think about safety, correctness and contracts, which are all closely related topics.