Новости

  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 332 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 331 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 324 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 319 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 316 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 311 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 309 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 307 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 305 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 303 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

10.12.2019: Начало проекта по методам моделирования и верификации программного обеспечения

Опубликовано Vadim Mutilin в Пнд, 09/12/2019 - 21:00

»

04.10.2019: На острове Фрауэнкимзе прошел семинар CPA&LDV Workshop

Опубликовано Vadim Mutilin в ПТ, 04/10/2019 - 10:03

Семинар CPA&LDV Workshop прошел на острове Фрауэнкимзе, Германия с 1 по 2 октября, 2019 года.

»

06.04.2019: CPAchecker-BAM-BnB и CPALockator на SV-COMP'2019

Опубликовано Vadim Mutilin в ВС, 07/04/2019 - 15:10

На международных соревнованиях инструментов статической верификации (SV-COMP 2019), проходивших в рамках международной конференции TACAS, Прага, Чехия, были представлены доклады по инструментам CPAchecker-BAM-BnB и CPALockator. В этом году наш инструмент CPAchecker-BAM-BnB завоевал золотую медаль в категории Software Systems, а CPALockator участвовал в категории Concurrency Safety.

»

01.02.2019: Вышла монография по моделированию и верификации политик безопасности управления доступом в операционных системах

Опубликовано Vadim Mutilin в ЧТ, 31/01/2019 - 21:00

»

27.09.2018: В Москве прошел семинар CPA&LDV Workshop

Опубликовано Vadim Mutilin в СР, 26/09/2018 - 21:00

25-26 сентября 2018 года в Москве прошел седьмой международный семинар CPA&LDV Workshop.

»

13.08.2018: Улучшение модели окружения для задач верификации ядра ОС Linux на корректность использования памяти и поиск ошибок использования памяти в ядре ОС Linux

Опубликовано Vadim Mutilin в Пнд, 13/08/2018 - 10:37

Антон Васильев закончил проект "Улучшение модели окружения для задач верификации ядра ОС Linux на корректность использования памяти и поиск ошибок использования памяти в ядре ОС Linux", выполненный в рамках Google Summer of Code 2018 под эгидой The Linux Foundation.

»

04.07.2018: Выпущен Klever 1.0

Опубликовано admin в СР, 04/07/2018 - 18:06

После нескольких лет работы над принципиально новой версией инструментария для верификации драйверов LDV Tools, мы рады сообщить о выпуске Klever 1.0.

Помимо переработки внутренней архитектуры в Klever реализовано множество новых возможностей:

»

28.06.2018: Центр верификации Linux на семинаре Sound Static Analysis for Security

Опубликовано admin в ЧТ, 28/06/2018 - 22:26

27-28 июня 2018 года на площадке Национального института по стандартизации и технологиям (National Institute of Standards and Technology, NIST) в г.Гейтерсберг (шт. Мэриленд), США, состоялся международный семинар, посвященный применению консервативного статического анализа для обеспечения безопасности программных систем (Sound Static Analysis for Security).

»

15.06.2018: В Москве пройдет международный семинар CPA&LDV Workshop 2018

Опубликовано Vadim Mutilin в ПТ, 15/06/2018 - 11:56

Совместный третий международный семинар по инструменту CPAchecker (CPA) и восьмой семинар по верификации драйверов ОС Linux (LDV) состоится 25-26 сентябре в г.Москва, Россия.

»

23.04.2018: CPAchecker-BAM-BnB и CPAchecker-BAM-Slicing на SV-COMP'2018

Опубликовано Vadim Mutilin в ВС, 22/04/2018 - 21:00

На международных соревнованиях инструментов статической верификации (SV-COMP 2018), проходивших в рамках международной конференции TACAS, Салоники, Греция, были представлены доклады по инструментам CPAchecker-BAM-BnB и CPAchecker-BAM-Slicing. В этом году наш инструмент CPAchecker-BAM-BnB завоевал золотую медаль, а CPAchecker-BAM-Slicing завоевал бронзовую медаль в категории Software Systems.

»