Новости ИСП РАН


Новости ИСП РАН

24 Сентября, 2018

3-ий международный семинар, посвященный инструменту CPAchecker и верификации драйверов ОС Linux

Уважаемые коллеги!

25-26 сентябре в ИСП РАН, в аудитории 110, пройдет международный семинар, посвященный инструменту CPAchecker и верификации драйверов ОС Linux.

3-ий международный семинар, посвященный инструменту CPAchecker и верификации драйверов ОС Linux

Программа семинара

Tuesday, September 25th

09:00 - 11:00

Dirk Beyer - Reducer-Based Construction of Conditional Verifiers

Matthias Dangl - Algorithm Selection

Pavel Andrianov - Thread Modular Configurable Program Analysis

Karlheinz Friedberger - Domain-Independent Multi-threaded Software Model Checking

11:00 - 11:30 Coffee break

11:30 - 13:00

Marie-Christine Jakobs - Cooperative Test Case Generation

Sebastian Ruland - Test Generation with CPAchecker

Philipp Wendler - New Developments in BenchExec

13:00 - 14:00 Lunch

14:30 - 19:00 Walk with excursion around the city

19:00 Restaurant

Wednesday, September 26th

09:00 - 11:00

Thomas Lemberger - Incremental Slicing

Mikhail Mandrykin - Slicing and Scope Bounded Verification with Polymorphic Region and Effect Inference

Martin Spießl - Configurable Software Verification based on Slicing Abstractions

Vitaly Mordan - Towards Complex Specifications in Software Model Checking

11:00 - 11:30 Coffee break

11:30 - 13:00

Ilia Zakharov - Automated Static Verification of GNU C Programs

Ilya Shchepetkov - Extracting Information About Software Build Process and Source Code

Evgeny Novikov - Verification of the Linux Kernel without Loadable Kernel Modules

13:00 - 14:00 Lunch

14:00 - 16:00

Manuel Töws - Domination Validation

Vadim Mutilin - Analysis Strategies for Variability Bugs in the Linux Kernel

Anton Vasilyev - SMG: Current State and Future Work

Philipp Wendler - CPAchecker on GitLab, Verifier Web Client

16:00 - 16:30 Coffee break

16:30 - 17:30

Alexey Khoroshilov - Discussion

19:00 Bolshoi Circus

Аннотации докладов см. на странице семинара.


Все новости