4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.SE2021★ 4 cited
Dynamic Analysis of ARINC 653 RTOS with LLVM
Vitaly Cheptsov, Alexey Khoroshilov
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in…
cs.SE2018
Deductive Verification of Unmodified Linux Kernel Library Functions
Denis Efremov, Mikhail Mandrykin, Alexey Khoroshilov
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conven…