机译:一种使用CADP验证并发C程序的模型提取方法
Universidad de Malaga, Spain;
Prodevelop/Universitat Politecnica de Valencia, Spain;
Universidad de Malaga, Spain;
Universidad de Malaga, Spain;
software model checking; data flow analysis; labeled transition system; boolean equation system; CADP verification toolbox;
机译:使用CADP的异步并发系统的组成验证
机译:通过计算自动验证反应性和并发计划
机译:在TSO下验证并行程序的双重性的好处
机译:验证并发BPEL程序的依赖/保证方法
机译:通过控制别名干扰来验证并发程序
机译:RRAM读取波动对程序验证方法的影响
机译:一种使用CADP验证并发C程序的模型提取方法