Talk:ISP Formal Verification Tool

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)

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)

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)