This report documents research concerning the feasibility of validating formal software specification. The one year effort attempted to show that with a suitable formal software specification language, specifications could be validated in the same manner as computer designs are currently tested.