verification; SAFECode; LLVM; memory safety;
机译:SAFECode:对弱类型语言强制执行别名分析
机译:使用过渡系统来规范JADE代理和多代理系统的概述
机译:分离三组分电解系统的形式化方法:系统的部分分离
机译:一类新型Sugeno型自适应模糊滑模控制器的形式化
机译:使用离散事件系统的监督控制,对实时系统的单处理器和多处理器调度进行形式化。
机译:分类模式的形式化:信息系统工程中的分类建模调查
机译:纯型系统正式化
机译:分化型理论的形式化