Cognition; Concurrent computing; Context; Kernel; Linux; Semantics; Synchronization; C semantics; Verification; concurrency; invariants; ownership;
机译:令人恐惧的小孩子和令人厌恶的成年升级:Linux内核的并发性
机译:基于模式的环境建模,用于Linux内核模块的静态验证
机译:基于内核代码重建的Linux内存分析的自适应方法
机译:使用Jessie演绎验证并发Linux内核代码
机译:并发系统的演绎机械验证。
机译:开发和应用演绎编码框架以评估公民/社区陪审团审议的目标
机译:未修改的Linux内核库函数的演绎验证
机译:演绎评估:用户负担低的隐式代码验证。