Talk:Uppaal Model Checker

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Molecular Biology: COMPBIO

	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
???	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

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

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]