Human-based checking; two-person checks; independent verification; Human Factors;
机译:Check mate:基于Internet的对错误检查过程的定性研究
机译:使用可扩展的软件模型检查框架检查JML规范
机译:SEChecker:基于第$ {K} $个不变式的顺序对等检查框架
机译:检查伙伴:用于优化基于人的检查的框架
机译:上下文相关可插拔类型的推理和检查框架。
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:使用分布式模型检查和虚拟化过程域的检查点/恢复的软件检查框架