Talk:PRISM model checker

This is the talk page for discussing improvements to the PRISM model checker article.
This is not a forum for general discussion of the article's subject.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Software: Computing Low‑importance

	This article is within the scope of WikiProject Software, a collaborative effort to improve the coverage of software on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.SoftwareWikipedia:WikiProject SoftwareTemplate:WikiProject Softwaresoftware articles
Low	This article has been rated as Low-importance on the project's importance scale.
	This article is supported by WikiProject Computing.

Untitled

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

Now it is only a subpage in my user space; I would to known if someone would add PRISM in the draft.

Thank you so much.