concurrency; formal verification; program verification; separation logic;
机译:通过静态分析进行形式化软件验证的实用方法
机译:在小型嵌入式系统中使用分层软件方法的实用方面
机译:同时开发和验证用于卫星地面操作的全软件基带
机译:Vercors:一种分层方法,用于实际验证并发软件
机译:通过基于效果的方法提高并行软件的可靠性
机译:使用瓦里安门腔剂量法使用扁平无滤波器(FFF)光束对IMRT进行预处理验证的实用方法
机译:用于验证并行程序的VerCors工具