Talk:Uppaal Model Checker

	This article is within the scope of WikiProject Molecular Biology, a collaborative effort to improve the coverage of Molecular Biology 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.Molecular BiologyWikipedia:WikiProject Molecular BiologyTemplate:WikiProject Molecular BiologyMolecular Biology articles
???	This article has not yet received a rating on the importance scale.
	This article is supported by the Computational Biology task force (assessed as Low-importance).

Untitled[edit]

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 UPPAAL in the draft.

Thank you so much.

PoorUser (talk) 14:43, 6 October 2009 (UTC)[reply]

Done. -- Mstigge (talk) 12:49, 9 December 2009 (UTC)[reply]

PROD removal[edit]

Removed the PROD because I added an indication of notability via case studies. The tool is widely used in academia as well. --Habst (talk) 18:26, 6 September 2018 (UTC)[reply]