Talk:SPIN model checker
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||
|
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 SPIN in the draft.
Thank you so much.
PoorUser (talk) 14:37, 6 October 2009 (UTC)
Prof. Virender Kumar Ranga —Preceding unsigned comment added by 220.227.107.195 (talk) 07:55, 5 February 2010 (UTC)
can spin be used to verify issues unrelated to concurrency?
[edit]Can it be usefully applied to a normal, sequential program? Thanks 79.75.108.54 (talk) 19:32, 19 July 2018 (UTC)
Environmental sustainability
[edit]Sustainability is becoming more important for all companies, across all industries. 62% of executives consider a sustainability strategy necessary to be competitive today, and another 22% think it will be in the future. 92.40.171.141 (talk) 18:11, 20 February 2022 (UTC)
Sustainability
[edit]Simply put, sustainability is a business approach to creating long-term value by taking into consideration how a given organization operates in the ecological, social and economic environment. Sustainability is built on the assumption that developing such strategies foster company longevity. 92.40.171.142 (talk) 18:18, 20 February 2022 (UTC)
Simply put, sustainability is a business approach to creating long-term value by taking into consideration how a given organization operates in the ecological, social and economic environment. Sustainability is built on the assumption that developing such strategies foster company longevity.
[edit]Sustainability 92.40.171.142 (talk) 18:19, 20 February 2022 (UTC)
- Start-Class Computer science articles
- Mid-importance Computer science articles
- WikiProject Computer science articles
- Start-Class Computing articles
- Low-importance Computing articles
- Start-Class software articles
- Low-importance software articles
- Start-Class software articles of Low-importance
- All Software articles
- All Computing articles