Institut fuer Programmstrukturen und Datenorganisation, Universitaet Karlsruhe, 76128 Karlsruhe, Germany;
program checking; certificates; correctness; validation; verification; safety-scalability; real-scale applications;
机译:使用基于模型检查的遗传编程来合成,纠正和改进代码
机译:基于可视化编程语言进行代码一致性检查
机译:基于可视化编程语言进行代码一致性检查
机译:使用证书进行程序检查:分离正确性 - 关键代码
机译:硬件安全检查和证书最小化的新方法
机译:公共卫生中的邮政编码彩票-伦敦西北部的NHS健康检查计划
机译:使用证书进行程序检查:分离正确的关键代码
机译:用于二进制加法的单独非同态检查码。