Automatic verification of safety and liveness for pipelined machines using WEB refinement