Talk:KeY

Proposed Deletion

The reason given for the proposed deletion of this article is that it was previously deleted. This is true, but it was undeleted again by the responsible administrator after this discussion here. KeYIT 16:17, 30 July 2007 (UTC)

Hmmm. Ok, I've now replaced that tag with a db-spam tag. Are there any secondary references for KeY? Like links to independent sites saying this a notable software?

/ Mats Halldin (talk) 16:28, 30 July 2007 (UTC)

Sure, there are secondary references. For example, the JML home page here. KeYIT 16:32, 30 July 2007 (UTC)

The subject does not appear to have sufficient notable coverage to merit an article even with the links in article considered, not to mention the apparent conflict of interest in this case. --Kuzaar^-T-C- 16:34, 30 July 2007 (UTC)

Well, that's why it is marked as a stub. So if it does not yet contain enough information for your taste, you are free to contribute something. KeYIT 16:41, 30 July 2007 (UTC)

For those in doubt of the notability of the subject, we recommend a Google search such as this one, which reveals a considerable number of sources referring to KeY, many of them independent of the project. KeYIT 06:31, 31 July 2007 (UTC)

In addition, the conference papers mentioned on the project page are to serious and well-known conferences in the area of deduction and program verification and have been thoroughly peer reviewed by external researchers.