Основные сведения:
|
Рейтинг: |
||
|
Адрес: |
||
|
Безопасность данных: Высокая Степень доверия: Высокая Безопасность для детей: Не определена |
||
|
О сайте: Анализ данных spinroot.com показал, что у этого домена средний рейтинг Alexa и это обычный ресурс со средним уровнем посещаемости (не более 10 тыс. в месяц). Лидирующую позицию по доле трафика занимает США (93,2%), а владельцем домена является REDACTED FOR PRIVACY. |
||
|
Заголовок: Spin - Formal Verification |
||
|
Мета-описание: Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.. Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the... |
||
|
249 655 |
304 |
1 522 |
|
Статус: Онлайн |
Дата последней проверки:
|
|
Наиболее популярные страницы домена:
-
Spin - Formal Verification
Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.
-
gerard j. holzmann
focus software safety, software analysis, formal verification, metrics, logic model checking, distributed systems, multi-threaded software, static analysis, swarm testing, code review methods, requir...
-
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Workshop: The 24th Spin 2017 Symposium will be co-loca...
Другие домены этого хостинг-провайдера (CloudFlare, Inc.):
Географическое распределение аудитории для spinroot.com:
| Страна | Доля посетителей | Рейтинг по стране |
|---|---|---|
| США | 93,2% | 101 639 |
Информация о домене:
| Возраст домена: | 21 год |
| Владелец: | REDACTED FOR PRIVACY |
| Регистратор: |
eNom, LLC |
Поисковые фразы:
| Ключевое слово | % трафика | |
|---|---|---|
| spin | 11.75% |
|
| spin checker | 7.02% |
|
| spinning tool | ||