IT University of Copenhagen;
Microsoft Research Cambridge;
Separation logic; machine code; proof assistants;
机译:低级代码的高级分离逻辑
机译:使用分离逻辑正式验证低级代码的异常
机译:计算分离逻辑中对底层程序的最自动化验证
机译:低级代码的高级分离逻辑
机译:自动将高级逻辑规范转换为高性能目标代码。
机译:编码低水平的人类免疫缺陷病毒1型对23-双脱氧胞苷和23-双脱氧胞苷的抗性的同一突变赋予对23-双脱氧-(-)对映体的高水平抗性3-硫代胞苷。
机译:分离逻辑辅助代码转换,以实现高效的高级合成