机译:具有符号计数器抽象的并发布尔程序的可达性分析
机译:关于“使用符号计数器抽象的并发布尔程序的可达性分析”的撤回通知[PROCS9(2012)1363–1370]
机译:Data Abstraction Assistant的功能和特性,它是系统审查期间用于数据抽象的软件应用程序
机译:并发软件的符号计数器抽象
机译:使用API抽象和执行历史记录的大型现实世界程序的可扩展符号分析。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:并发软件的符号计数器抽象