Talk:Uppaal Model Checker
Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Qwerfjkl (bot) (talk | contribs) at 07:22, 5 February 2024 (Implementing WP:PIQA (Task 26)). The present address (URL) is a permanent link to this version.Revision as of 07:22, 5 February 2024 by Qwerfjkl (bot) (talk | contribs) (Implementing WP:PIQA (Task 26))
This article is rated Stub-class on Wikipedia's content assessment scale.
It is of interest to the following WikiProjects:
It is of interest to the following WikiProjects:
WikiProject icon 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 project's importance scale.
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 ]