Linux Driver Verification Architecture

The paper discusses requirements to a twofold verification system that should be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux device drivers. An architecture of a verification system implementing...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
الموضوعات:	статический анализ кода правила корректности верификация драйверов устройств моделирование окружения драйвера аспектно-ориентированное программирование верификатор достижимости визуализация трассы ошибки
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1058

مواد مشابهة

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
حسب: E. M. Novikov
منشور في: (2018-10-01)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
حسب: M. U. Mandrykin, وآخرون
منشور في: (2018-10-01)

Using Aspect-Oriented Programming for Querying Source Code
حسب: E. M. Novikov, وآخرون
منشور في: (2018-10-01)

A combined method for verification of large-scale data models
حسب: V. A. Semenov, وآخرون
منشور في: (2018-10-01)

Formal Verification of Linux Kernel Library Functions
حسب: D. V. Efremov, وآخرون
منشور في: (2018-10-01)

Configurable Toolset for Static Verification of Operating Systems Kernel Modules
حسب: I. S. Zakharov, وآخرون
منشور في: (2018-10-01)

Component-based verification of operating systems
حسب: V. V. Kuliamin, وآخرون
منشور في: (2019-02-01)

Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++
حسب: E. V. Palchevsky, وآخرون
منشور في: (2018-10-01)

Analysis of program changes nature and searching for unpatched code fragments
حسب: Mariam Seropovna Arutunian, وآخرون
منشور في: (2019-04-01)

Двухмодульные взвешенные коды с суммированием в кольце вычетов по модулю M=4
حسب: Dmitry Viktorovich Efanov, وآخرون
منشور في: (2020-06-01)

Environment Modeling of Linux Operating System Device Drivers
حسب: I. S. Zakharov, وآخرون
منشور في: (2018-10-01)

A constraint library for specification of industrial data models
حسب: S. V. Morozov, وآخرون
منشور في: (2018-10-01)

Verification and analysis of variable operating systems
حسب: V. V. Kuliamin, وآخرون
منشور في: (2018-10-01)

Incremental source code analysis for C/C++ languages
حسب: V. O. Savitsky, وآخرون
منشور في: (2018-10-01)

Platform for interprocedural static analysis of binary code
حسب: H. K. Aslanyan
منشور في: (2018-12-01)

The refactoring approach used in Klocwork Insight toolkit
حسب: N. L. Lugovskoy
منشور في: (2018-10-01)

Vulnerabilities Detection via Static Taint Analysis
حسب: Nikita Vladimirovitch Chimtchik, وآخرون
منشور في: (2019-09-01)

Combination of static verification methods for checking requirements composition
حسب: V. O. Mordan
منشور في: (2018-10-01)

Method for analysis of code-reuse attacks
حسب: A. V. Vishnyakov, وآخرون
منشور في: (2018-12-01)

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages
حسب: V. A. Semenov, وآخرون
منشور في: (2018-10-01)

Visual Dataflow Language for Educational Robots Programming
حسب: G. A. Zimin, وآخرون
منشور في: (2018-10-01)

Source code transformation and automatic correction of defects with KAST language
حسب: N. L. Lugovskoy, وآخرون
منشور في: (2018-10-01)

Analyzing C/C++ code entities and relations for program understanding
حسب: A. . Belevantsev, وآخرون
منشور في: (2018-10-01)

APPLICATION SOFTWARE DEVELOPMENT POWERED BY.NET USING THE ASPECT-ORIENTED PROGRAMMING
حسب: Gleb A. Chermennov, وآخرون
منشور في: (2016-08-01)

On Construction and Verification of PLC-Programs
حسب: E. V. Kuzmin, وآخرون
منشور في: (2012-01-01)

Building security predicates for some types of vulnerabilities
حسب: A. N. Fedotov, وآخرون
منشور في: (2018-10-01)

On representation of simulation time in functional programming style
حسب: D. V. Buzdalov, وآخرون
منشور في: (2019-02-01)

Research and development of inefficiency patterns in MPI, UPC applications
حسب: M. S. Akopyan, وآخرون
منشور في: (2018-10-01)

Usability of AutoProof: a case study of software verification
حسب: Mansur Khazeev, وآخرون
منشور في: (2018-10-01)

Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors
حسب: Arutyun Avetisyan, وآخرون
منشور في: (2018-10-01)

Evolutionary development of a visual planning system using object-oriented framework
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

A survey of emerging models and methods of scheduling
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

Object-oriented framework for software development of scheduling applications
حسب: A. S. Anichkin, وآخرون
منشور في: (2018-10-01)

Применение булевой алгебры в программировании
حسب: И. Н. Карцан, وآخرون
منشور في: (2025-05-01)

Adjustable method with predicate abstraction for detection of race conditions in operating systems
حسب: P. S. Andrianov, وآخرون
منشور في: (2018-10-01)

Object-oriented framework for motion planning in complex dynamic environments
حسب: K. A. Kazakov, وآخرون
منشور في: (2018-10-01)

Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
حسب: I. S. Zakharov, وآخرون
منشور في: (2018-10-01)

Approach to detecting types inconsistency errors in a program code in dynamic languages
حسب: I. E. Bronshteyn
منشور في: (2018-10-01)

Hotel management-process using the relational approach
حسب: - Soro Mamadou, وآخرون
منشور في: (2013-12-01)

Python-based constraint language for architecture models
حسب: E. . Kornykhin, وآخرون
منشور في: (2018-10-01)