机译:用于静态验证操作系统内核模块的可配置工具集
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia;
operating system kernel; kernel module; software quality; static verification; contract specification; environment model; specification of rule for correct usage of API;
机译:可靠的可重配置操作系统的内核感知模块验证
机译:基于模式的环境建模,用于Linux内核模块的静态验证
机译:seL4:操作系统内核的形式验证
机译:Linux内核模块静态验证的建模环境
机译:实时零内核操作系统的安全性标记:实施和验证。
机译:网络物理系统中控制模块的正式验证
机译:操作系统单片内核的静态验证
机译:KsOs内核验证结果。核心安全操作系统