摘要
索引术语
无需运行时检查的安全内核扩展
建议
运行时有效的概率模型检查 ICSE’11：第33届国际软件工程会议记录 不可预测的更改会持续影响软件系统，并可能对其服务质量产生严重影响，可能危及系统满足所需需求的能力。 系统的关键组件可能会发生变化。。。 在断言验证框架中集成软件测试和运行时检查 ICLP’09：第25届逻辑程序设计国际会议记录 我们提出了一个统一单元测试和运行时验证（以及静态验证和静态调试）的框架。 我们整体方法的一个关键贡献是，我们为所有这些保留了统一断言语言的使用。。。
