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

An Impossible Requirement

DateSat 2006-10-07

doors.JPG

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+.)

AuthorTristram Brelstaff | Comment1 Comment |
in

Reader Comments (1)

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

PostPost a New Comment

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

Notify me of follow-up comments via email.