Safety (computer science)

Redirect to:

• Safety and liveness properties