6
$\begingroup$

We have the tags

Both seem to mean the same thing and should therefore be merged. Please vote on the two answers below which one you think should be the main tag (by upvoting).

If you think we need both tags, please add an answer with your reasoning.

Please vote until Friday, June 1st.

$\endgroup$
  • $\begingroup$ We also have formal-methods now, which is yet another flavor of the same thing? $\endgroup$ – Raphael Sep 4 '16 at 12:53
  • $\begingroup$ formal-method is broader. Program/software verification applies formal method to a model that's detailed enough to be an implementation. $\endgroup$ – Gilles Sep 4 '16 at 13:56
6
$\begingroup$

should be the main tag.

$\endgroup$
  • 1
    $\begingroup$ Would side with the first comments by Dave Clarke in the other post. Software verification as opposed to hardware verification gives a good intuition. $\endgroup$ – Dmitri Chubarov May 26 '12 at 6:29
4
$\begingroup$

should be the main tag.

$\endgroup$
  • $\begingroup$ I prefer this one because "software" feels a bit too wide in scope. $\endgroup$ – Raphael May 25 '12 at 10:16
  • $\begingroup$ Program verification is what they did in the 80s and 90s. Software verification is what they do in the 00s and 10s. $\endgroup$ – Dave Clarke May 25 '12 at 12:52
  • $\begingroup$ @DaveClarke: Isn't that an argument to have both tags? Or do they describe the same thing? $\endgroup$ – Raphael May 25 '12 at 14:29
  • 1
    $\begingroup$ It's supposed to be an argument that program verification is out of date, based on the idea that software is bigger than programs. $\endgroup$ – Dave Clarke May 25 '12 at 14:30
  • $\begingroup$ Now after talking someone who does verification, he says he prefers "program-verification". So I retract my comments. $\endgroup$ – Dave Clarke May 25 '12 at 15:01
  • 1
    $\begingroup$ While I think it would be nice if the tags had a specific and well defined meaning, for now I view the tags as a means to finding related questions and answers. As such, I think that if the wiki info for the tags is completed and that there is no clear separation between the two, then one tag should be left with a redirect to the other. I would really prefer just one, verification, but this is not a site for me but for all of us. $\endgroup$ – Guy Coder Jul 26 '12 at 12:57
  • $\begingroup$ @GuyCoder Having only verification is an option, but I don't know whether that would be too broad. I agree: program-verification and software-verification seem to be used synonymously here, so there should be only one (the other as alias). This question was to choose which should survive, but there was no clear voting result. $\endgroup$ – Raphael Jul 26 '12 at 13:14
  • $\begingroup$ @Raphael I was not really voting for any of them, not even my own preference. My intent was to point out that maybe we should not focus on which one was chosen, but to point out that the tags are more of a means to an end, in this case finding related questions, and that as long as the goal was the same, the path did not matter. However for new people we should try to define them in the wiki and give redirects to the other to show that we ourselves are not sure and that both are equally valid when searching for related questions and answers. $\endgroup$ – Guy Coder Jul 26 '12 at 13:25
  • $\begingroup$ @GuyCoder In principle, I agree. However, we should do you best to avoid situation where we use a tag in a "wrong" way so it becomes inappropriate when we grow/expand. Refactoring then is hard, choosing a good tag now is simple (in principle). $\endgroup$ – Raphael Jul 26 '12 at 13:54
0
$\begingroup$

formal-verification is another option.

$\endgroup$
  • $\begingroup$ This is more general than the other two as it applied to more than programs/software. $\endgroup$ – Raphael May 25 '12 at 14:30
  • $\begingroup$ @Raphael, yes, I only mention this since the wikipedia articles for the other two redirects to it. $\endgroup$ – Kaveh May 25 '12 at 14:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .