# Can program-verification be made a synonym of software-verification?

This was already suggested in this 2012 question, with the top answer being to make software-verification the main tag.

Maybe someone with 2500 rep can propose the synonym/merge? Or, answers arguing why they should not be merged would be welcome.

• Relatedly on meta, probably retagging and tag-pruning should be deleted or made synonyms :) – 6005 Aug 7 '18 at 4:19