Category software verification methods

x