« The Origins of Formal Methods | Main | Conkers! »

An Impossible Requirement


I don't think the people who designed these notices for Southwest Trains realized that 'everything' includes 'doors', and that it is not possible to keep doors away from themselves!  (Maybe I have been spending too much writing formal specifications in Alloy and TLA+.)

Reader Comments (1)

Everything includes the things people may be carrying. So does that mean no one can go thru the doors?
October 12 | Unregistered CommenterAydin

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
All HTML will be escaped. Hyperlinks will be created for URLs automatically.