Verified program code execution system prototype
Published in Russian Academy of Sciences, Ivannikov Institute for System Programming • Oct 1, 2018
NobleIDNI8P73W38R11S22
Authors:,
A. V. Kozachok
E. V. Kochetkov
Abstract
The article represented the technical implementation of the system of verified program code execution. The functional purpose of this system is to investigate arbitrary executable files of the operating system in the absence of source codes in order to provide the ability to control the execution of...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!