Talk:ISP Formal Verification Tool

Latest comment: 14 years ago by PoorUser

Hi, I would create a wiki article in which Model Checking Tools can be indexed.

Now it is only a subpage in my userspace; I would to known if someone would add ISP in the draft.

Thank you so much.

PoorUser (talk) 14:26, 6 October 2009 (UTC)Reply

Most of the references are peer-reviewed journals. This should meet the requirements of 'independently verifiable notability'.

The primary investigator, Ganesh Gopalakrishnan, produces about 667 hits on Google Scholar, when "Ganesh Gopalakrishnan" is entered. This seems consistent with Wikipedia notability criterion for academics.

I added a section on Cited By. This demonstrates, besides the inclusion of peer reviewed conference papers in references, that this is notable and recognized outside of the developing group.

I have removed the

tag.

Geof23 (talk) 03:04, 3 March 2009 (UTC)Reply

Now I removed the

tag after changing the name of the 'Citations' to 'Cited By' to avoid confusion.

Geof23 (talk) 19:11, 7 April 2009 (UTC)Reply