Nancy Leveson Quotes

What [software] must not do is not the inverse of what it must do.

What [software] must not do is not the inverse of what it must do. (Nancy Leveson)