Новости ИСП РАН
3-ий международный семинар, посвященный инструменту CPAchecker и верификации драйверов ОС Linux
Уважаемые коллеги!
25-26 сентябре в ИСП РАН, в аудитории 110, пройдет международный семинар, посвященный инструменту 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
Аннотации докладов см. на странице семинара.