Talk:ISP Formal Verification Tool
![]() | This article has not yet been rated on Wikipedia's content assessment scale. |
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
![]() | The topic of this article may not meet Wikipedia's notability guidelines for products and services. (March 2009) |
tag.
Geof23 (talk) 03:04, 3 March 2009 (UTC)
Now I removed the
![]() | This article has an unclear citation style. |
tag after changing the name of the 'Citations' to 'Cited By' to avoid confusion.