Knowledge in formal method pressman