Информация
Дата обновления
21.10.2024
Заголовок
Миссия Центра верификации ОС Linux | Linux Verification Center
Описание компании ?
Центр верификации ОС Linux, или Linux Verification Center, занимается продвижением платформы Linux путем обеспечения ее надежности и совместимости с помощью открытых стандартов и передовых технологий верификации и тестирования. Команда центра разрабатывает технологии моделирования и верификации на основе формальных методов, чтобы формализовать требования и доказать корректность ключевых компонентов ОС Linux и других ответственных систем. Они также разрабатывают открытые тестовые наборы и технологии для автоматизированной проверки линукс-систем на соответствие требованиям совместимости и функциональной корректности. Центр помогает улучшить качество стандартов Linux, их развитие и внедрение на практике. Кроме того, специалисты центра консультируют и обучают новые методы автоматизированной разработки тестов. Созданный при поддержке министерства образования и науки России, центр также поддерживается консорциумом The Linux Foundation и базируется в Институте системного программирования имени В.П. Иванникова Российской академии наук.
Контакты
Номер телефона
+7 (83149) 1-99-░░
Социальные сети
О компании
Аффилированные
?
Whois
Дата регистрации
26.09.2005
Срок действия
26.09.2024
Возраст
19 лет 7 месяцев 10 дней
Регистратор
RU-CENTER-RU
DNS сервера
name.ispras.ru
(+1)(-)
ns2.ispras.ru
ИНН
IP адрес
Трафик
Всего визитов
?
2 534
География источников трафика
100,0 %
Россия
Юридическое лицо
Название
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК
Возраст
31 лет 1 месяц 29 дней
Адрес
г Москва, ул Александра Солженицына, д 25
Руководитель
А░░░░░░░ Арутюн Ишханович
ИНН
ОГРН
КПП
770901001
Регистратор
Межрайонная инспекция Федеральной налоговой службы № 46 по г. Москве
Адрес регистратора
125373, г.Москва, Походный проезд, домовладение 3, стр.2
Учредители
М░░░░░░░░░░░ НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ 100 %
ОКВЭД
62.01
Дополнительные ОКВЭДы
62.01 Разработка компьютерного программного обеспечения
(+8)(-)
58.11.1 Издание книг, брошюр, рекламных буклетов и аналогичных изданий, включая издание словарей и энциклопедий, в том числе для слепых, в печатном виде
62.02 Деятельность консультативная и работы в области компьютерных технологий
62.09 Деятельность, связанная с использованием вычислительной техники и информационных технологий, прочая
63.11 Деятельность по обработке данных, предоставление услуг по размещению информации и связанная с этим деятельность
63.11.1 Деятельность по созданию и использованию баз данных и информационных ресурсов
72.19 Научные исследования и разработки в области естественных и технических наук прочие
85.23 Подготовка кадров высшей квалификации
85.42 Образование профессиональное дополнительное
Торговый знак
Название
Институт системного программирования Российской Академии Наук
Страна
Россия
Адрес
109004, Москва, ул.Б.Коммунистическая, 25
Номер заявки
2002708476
Возраст
23 лет 20 дней
Срок действия
16.04.2012
Похожие сайты
pdebugger.ru
Отладчик параллельных программ для ОС Unix/Linux | Parallel Debugger for ОS Unix/Linux
нппкт.рф
Официальный сайт АО НППКТ и вход в личный кабинет парнерам и пользователям Основа ОС Стрелец СУБД Лира — Разработчик защищённых операционных систем linux и СУБД для интеграции в автоматизированные системы предприятий в России. Представлен на российском рынке продуктами и услугами техподдержки ОС линукс общего назначения ОСнова ос для работы с гостайной Стрелец и СУБД Лира Р
Разработчик защищённых операционных систем linux и СУБД для интеграции в автоматизированные системы предприятий в России. Представлен на российском рынке продуктами и услугами техподдержки ОС линукс общего назначения ОСнова ос для работы с гостайной Стрелец и СУБД Лира Р
вид-ит.рф
Astra Linux, РЕД ОС- миграция на отечественные ОС
Кроссплатформенное программное обеспечение миграции файлов для перехода на Astra Linux и другие российские ОС
vid-it.ru
Astra Linux, РЕД ОС- миграция на отечественные ОС
Кроссплатформенное программное обеспечение миграции файлов для перехода на Astra Linux и другие российские ОС
it-topic.ru
Портал ИТ Топик - обзоры, ОС Windows, Linux, iOS, Android, технологии, советы по сборке, ремонту и облуживанию ПК
Cоветы по сборке и настроки компьютеров, установка Windows, Android, iOS и других операционных систем,обзоры смартфонов, мобильных устройств, видео инструкции, сервисы, новости в мире технологий
host-base.ru
Ваша ОС - Все про вашу операционную систему Windows и Linux
Все про вашу операционную систему Windows и Linux
webrecord.ru
WebRecord — Блог сисадмина — Статьи по работе с Windows, Linux и MacOS, мобильными ОС Android и iOS. Программирование и Безопастность.
sevo44.ru
СЭВО:эволюция работ - Обслуживание компьютеров, ремонт, лечение вирусов, модернизация. Системы на ОС Linux. Создание и продвижение Интернет проектов. Бесплатные консультации. Офисные АТС. Видеонаблюдение.
Обслуживание компьютеров, ремонт, лечение вирусов, модернизация. Системы на ОС Linux. Создание и продвижение Интернет проектов. Бесплатные консультации. Офисные АТС. Видеонаблюдение.
Недавно обновлённые
