Jump to content

Talk:SPIN model checker

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]


Prof. Virender Kumar Ranga —Preceding unsigned comment added by 220.227.107.195 (talk) 07:55, 5 February 2010 (UTC)[reply]

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)[reply]

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)[reply]

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)[reply]

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)[reply]