OOO "Program Verification Systems"
Инструменты и решения для статического анализа
27.11.2008 Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.»
31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»
15.10.2008 Вышла новая версия Viva64 2.20. »
Данный веб-сайт (Сайт) предоставляется OOO «СиПроВер» в качестве услуги нашим потребителям. Пожалуйста, просмотрите следующие основные правила, определяющие Ваше пользование данным сайтом. Просим обратить Ваше внимание на то, что использование Вами Сайта означает Ваше безоговорочное согласие с условиями и положениями по использованию. OOO «СиПроВер» оставляет за собой право дополнять или изменять условия и положения в любое время без заблаговременного уведомления. Использование Вами данного Сайта после внесения какого-либо изменения означает Ваше безоговорочное согласие с измененными условиями и положениями. По этой причине, мы настоятельно рекомендуем Вам просматривать условия и положения всякий раз, когда Вы пользуетесь данным Сайтом. Данные условия и положения по использованию относятся исключительно к использованию Сайта ООО «СиПроВер» и не распространяются на любые другие не связанные с данной компанией сайты или ссылки на третьих лиц.
Данные условия и соглашения и наша политика конфиденциальности составляет полное соглашение (Соглашение) между Вами и OOO «СиПроВер» относительно данного Сайта. Все права, неявно Выраженные в данном Соглашении, защищены.
Вы признаете, что Вам 13 или более лет, и что если Вы моложе 18 лет, то Вы находитесь под надзором родителей или опекуна по завещанию. Если Вы моложе 13 лет, Вам не разрешается посещать или иным способом использовать данный Сайт.
Вы обязуетесь использовать настоящий Сайт только в законных целях. Любое Ваше поведение, которое по нашему усмотрению, ограничивает, препятствует или мешает другим лицам пользоваться настоящим Сайтом, будет пресечено, включая хакерство или повреждение любой части данного Сайта, а также занятие спамом, флуд, или иные пагубные действия. Строго запрещается размещать или передавать через данный Сайт любую незаконную, пагубную, оскорбительную, угрожающую, клеветническую, назойливую, дискредитирующую, грубую, порнографическую, профанирующую, человеконенавистническую, мошенническую, носящую сексуальный характер информацию, а также расовые, этнические или любые другие нежелательные материалы, включая, но не ограничиваясь материалами, провоцирующими поведение, которое может рассматриваться как уголовное преступление или поведение, влекущее гражданскую ответственность, или материалами, иным способом нарушающими соответствующий местный, штатный, национальный или международный закон. Мы оставляем за собой право прекратить или приостановить Ваш доступ или пользование данным Сайтом или отдельными его частями, без уведомления, если мы посчитаем по своему усмотрению, что Ваше пользование Сайтом нарушает соответствующий закон или наносит вред нашим интересам или интересам, включающим интеллектуальную собственность или иные права других пользователей, а также сторонних партнеров, филиалов, спонсоров, поставщиков, лицензиаров или продавцов.
Вы обязуетесь предоставлять достоверную, точную, актуальную и полную информацию о себе, регистрируясь на нашем Сайте. Вы сами поддерживаете и своевременно обновляете данную информацию в учетной записи, для того чтобы она была достоверной, точной, актуальной и полной. Если Вы предоставляете мошенническую, недостоверную, неточную, неполную или несовременную информацию, или у нас есть все разумные основания полагать, что она таковой является, мы оставляем за собой право приостановить или закрыть Вашу учетную запись без уведомления и отказать в текущем или будущем использовании данного Сайта. Поскольку любое прекращение Вашего доступа к настоящему Сайту может быть совершенно без заблаговременного уведомления, Вы допускаете и признаете за нами право незамедлительно дезактивировать или удалить Вашу учетную запись и всю сопутствующую информацию и файлы и предотвратить любой дальнейший доступ к этим файлам или Сайту. Более того, Вы признаете, что мы не несем ответственности перед Вами или другой третьей стороной за прекращение доступа к Вашей учетной записи на данном Сайте.
При создании учетной записи, Вас могут попросить предоставить имя, идентификационную информацию о пользователе и пароль. Вы ответственны за сохранение конфиденциальности Вашего пароля и учетной записи и полностью ответственны за все действия, связанные с Вашим паролем и учетной записью. Вы обязуетесь незамедлительно предупреждать нас о любом несанкционированном использовании как Вашего пароля, так и учетной записи или любом другом нарушении безопасности. Далее Вы обязуетесь не позволять другим лицам, включая тех, чьи учетные записи были закрыты, получать доступ к настоящему Сайту, используя Вашу учетную запись или идентификационную информацию. Вы предоставляете право OOO «СиПроВер» и всем другим лицам или организациям, связанным с работой Сайта, передавать, отслеживать, извлекать, хранить и использовать Вашу информацию в связи с работой Сайта. OOO «СиПроВер» не может взять на себя ответственность и обязательства за любую предоставляемую Вами информацию или за использование или неправильное использование, Вами или третьими лицами информации, передаваемой или получаемой при пользовании Сайта OOO «СиПроВер». Чтобы узнать больше о том, как мы обеспечиваем конфиденциальность личной информации в Вашей учетной записи, пожалуйста, посетите раздел «Политика конфиденциальности».
Данный сайт может содержать ссылки на сайты, принадлежащие или поддерживающиеся независимыми третьими сторонами. Эти ссылки предназначены только для Вашего удобства и ознакомления. Мы не контролируем такие сайты и, следовательно, не несем ответственности за любое содержание, опубликованное на данных сайтах. Мы оставляем за собой право убрать подобные ссылки в любое время. Факт того, что мы предлагаем такие ссылки, не должен толковаться в качестве одобрения, авторизации или спонсорской поддержки данного сайта или его содержания. В связи с тем, что некоторые сайты применяют автоматизированные результаты поиска или каким-либо другим способом отсылают Вас на сайты, содержащие информацию, которая может считаться несоответствующей или оскорбительной, мы не можем быть ответственны за точность, соответствие авторским правам, законность или благопристойность материала, содержащегося на сайтах третьих сторон, и настоящим Вы однозначно отказываетесь от любых претензий к нам в отношении подобных сайтов. Мы оставляем за собой право убрать эти ссылки в любое время.
Настоящие Условия и Положения и Политика Конфиденциальности действительны до тех пор, пока не прекращены одной из сторон. Если Вы более не согласны быть связанным данными Условиями и Положениями, Вы должны прекратить использование данного Сайта. Вы используете Сайт на свой страх и риск. Если Вы не удовлетворены этим Сайтом, его содержанием, или любым из этих условий, положений или политик, Ваше единственное и законное право – прекратить дальнейшее использование данного Сайта. OOO «СиПроВер» также может прекратить действие Соглашения в любое время и может сделать это немедленно без предупреждения и соответственно отказать Вам в доступе к Сайту, если по усмотрению OOO «СиПроВер» Вы не соблюдаете любое из условий или положений Соглашения. OOO «СиПроВер» оставляет за собой право прекратить Ваше членство и доступ к любому специальному содержимому, продуктам или услугам или удалить любое содержимое, добавленное Вами на Сайт, если Выяснится, что Вы обеспечили OOO «СиПроВер» ложной или вводящей в заблуждение регистрационной информацией. Если Ваша регистрация(и) или возможность доступа к сайту прекращена компанией OOO «СиПроВер» в связи с нарушением любой части настоящих Условий и Положений по Обслуживанию или в связи с поведением, рассматриваемым OOO «СиПроВер» как неподобающее, Вы соглашаетесь больше не предпринимать попыток перерегистрации или получения доступа к OOO «СиПроВер», с использованием других членских имен или каким-либо другим способом.
Вы соглашаетесь защищать и соблюдать безопасность OOO “СиПроВер”, его работников, директоров, служащих или агентов при наличии любых претензий, ущерба, расходов и затрат, включая расходы на адвоката, относящиеся к Вашему использованию или неправильному использованию данного Сайта.
ДАННЫЙ САЙТ ПРЕДОСТАВЛЯЕТСЯ КОМПАНИЕЙ OOO «СиПроВер» НА УСЛОВИЯХ «КАК ЕСТЬ» И « КАК ДОСТУПЕН». OOO «СиПроВер» НЕ УТВЕРЖДАЕТ И НЕ ГАРАНТРУЕТ, ЧТО САЙТ УДОВЛЕТВОРИТ ВАШИМ ТРЕБОВАНИЯМ ИЛИ ЧТО ИСПОЛЬЗОВАНИЕ САЙТА БУДЕТ НЕПРЕРЫВНЫМ, РЕГУЛЯРНЫМ, БЕЗОПАСНЫМ, ИЛИ НЕ БУДЕТ СОДЕРЖАТЬ ОШИБОК; ТОЧНО ТАК ЖЕ OOO «СиПроВер» НЕ УТВЕРЖДАЕТ И НЕ ГАРАНТРУЕТ РЕЗУЛЬТАТ ВОЗМОЖНОГО ИСПОЛЬЗОВАНИЯ САЙТА. OOO «СиПроВер» НЕ УТВЕРЖДАЕТ И НЕ ПРЕДОСТАВЛЯЕТ КАКИХ-ЛИБО ГАРАНТИЙ, ЯВНЫХ ИЛИ ПОДРАЗУМЕВАЕМЫХ, В ОТНОШЕНИИ РАБОТОСПОСОБНОСТИ САЙТА ИЛИ ИНФОРМАЦИИ, СОДЕРЖАНИЯ, МАТЕРИАЛОВ ИЛИ ПРОДУКТОВ, ВКЛЮЧЕННЫХ В ДАННЫЙ САЙТ. ЧТОБЫ В ПОЛНОЙ МЕРЕ СООТВЕТСТВОВАТЬ ПРИМЕНЯЕМОМУ ЗАКОНОДАТЕЛЬСТВУ, OOO «СиПроВер» НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ, ЯВНЫХ ИЛИ ПОДРАЗУМЕВАЕМЫХ, ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИВАЯСЬ ПОДРАЗУМЕВАЕМЫМИ ГАРАНТИЯМИ ПРИГОДНОСТИ ТОВАРА И ГАРАНТИЯМИ СООТВЕТСТВИЯ СПЕЦИАЛЬНОМУ НАЗНАЧЕНИЮ. ИСПОЛЬЗУЯ САЙТ OOO «СиПроВер», ВЫ ТЕМ САМЫМ СОГЛАШАЕТЕСЬ, ЧТО ИСПОЛЬЗУЕТЕ ЕГО НА СВОЙ СОБСТВЕННЫЙ СТРАХ И РИСК. ЭТОТ ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ ЯВЛЯЕТСЯ НЕОТЪЕМЛЕМОЙ ЧАСТЬЮ ДАННОГО СОГЛАШЕНИЯ. НЕКОТОРЫЕ ЮРИСДИКЦИИ НЕ ДОПУСКАЮТ ОГРАНИЧЕНИЙ ПО СРОКУ ДЕЙСТВИЯ ПОДРАЗУМЕВАЕМЫХ ГАРАНТИЙ. ТАКИМ ОБРАЗОМ, ВЫШЕУКАЗАННЫЕ ОГРАНИЧЕНИЯ МОГУТ НЕ БЫТЬ ПРИМЕНИМЫ К ВАМ.
НИ ПРИ КАКИХ ОБСТОЯТЕЛЬСТВАХ И НИ ПО КАКОЙ ЗАКОННОЙ ИЛИ ОБЪЕКТИВНОЙ ТЕОРИИ, В СЛУЧАЕ ЛИ ДЕЛИКТА, КОНТРАКТА, СТРОГОЙ ОТВЕТСТВЕННОСТИ ИЛИ В ЛЮБОМ ДРУГОМ СЛУЧАЕ, OOO «СиПроВер» ИЛИ КТО-ЛИБО ИЗ ЕГО РАБОТНИКОВ, ДИРЕКТОРОВ, СЛУЖАЩИХ ИЛИ АГЕНТОВ БУДУТ ДОЛЖНЫ ВАМ ИЛИ ЛЮБОМУ ДРУГОМУ ЛИЦУ В СЛУЧАЕ ЛЮБЫХ НЕПРЯМЫХ, ОСОБЫХ, СЛУЧАЙНЫХ ИЛИ ПОБОЧНЫХ ПОТЕРЬ ИЛИ УЩЕРБА ЛЮБОЙ ПРИРОДЫ, СЛЕДУЮЩИХ ИЗ ИЛИ СВЯЗАННЫХ С НЕВОЗМОЖНОСТЬЮ ИСПОЛЬЗОВАНИЯ САЙТА OOO «СиПроВер» ИЛИ В СЛУЧАЕ ЛЮБОЙ УЯЗВИМОСТИ В БЕЗОПАСНОСТИ, СВЯЗАННОЙ С ПЕРЕДАЧЕЙ ВАЖНОЙ ИНФОРМАЦИИ ЧЕРЕЗ САЙТ OOO «СиПроВер» ИЛИ ЗА ЛЮБУЮ ИНФОРМАЦИЮ, ПОЛУЧЕННУЮ ЧЕРЕЗ САЙТ OOO «СиПроВер» ВКЛЮЧАЯ, БЕЗ ОГРАНИЧЕНИЙ, УЩЕРБ ОТ УПУЩЕННОЙ ВЫГОДЫ, ПОТЕРЮ РЕПУТАЦИИ, ПОТЕРЮ ДАННЫХ, ЗАДЕРЖКУ В РАБОТЕ, ТОЧНОСТЬ РЕЗУЛЬТАТОВ, КОМПЬЮТЕРНЫЕ ОШИБКИ ИЛИ НЕПРАВИЛЬНУЮ РАБОТУ, ДАЖЕ В СЛУЧАЕ, ЕСЛИ АВТОРИЗОВАННЫЙ ПРЕДСТАВИТЕЛЬ OOO «СиПроВер» БЫЛ ОСВЕДОМЛЕН ИЛИ ЗНАЛ О ВОЗМОЖНОСТИ ПОДОБНОГО УЩЕРБА. КРОМЕ ТОГО, НИ ПРИ КАКИХ ОБСТОЯТЕЛЬСТВАХ ОТВЕТСТВЕННОСТЬ OOO “СиПроВер”, ВКЛЮЧАЯ ПРЯМОЙ УЩЕРБ, НЕ МОЖЕТ ПРЕВЫШАТЬ СУММЫ, КОТОРУЮ ВЫ ЗАПЛАТИЛИ, В СЛУЧАЕ ЕСЛИ ВЫ ЗАПЛАТИЛИ OOO «СиПроВер» В СООТВЕТСТВИИ С ДАННЫМ СОГЛАШЕНИЕМ.
Заголовки, используемые в данном Соглашении, приводятся исключительно в целях ознакомления и ни в коем случае не определяют и не ограничивают содержание параграфов. В случае если какое-либо положение данного Соглашения не может быть основанием для иска по какой-либо причине, подобное положение должно быть исправлено только для достижения такой возможности и другие условия данного Соглашения остаются в силе.
К началу | О нас | Контакты | Политика конфиденциальности | Соглашение об использовании
© 2006 - 2008, ООО "СиПроВер"
