Abstract: This paper presents enhancements to the opensource LLVM-Cov structural coverage tool to meet DO-178C Software Level A objectives in the Linux kernel for assuring safety-critical aerospace ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results