...
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
Nanyang Technol Univ Sch Comp Sci & Engn 50 Nanyang Ave Singapore 639798 Singapore;
Zhejiang Univ Sch Cyber Sci & Technol Coll Comp Sci & Technol Zheda Rd 38 Hangzhou 310007 Peoples R China;
Nanyang Technol Univ Sch Comp Sci & Engn 50 Nanyang Ave Singapore 639798 Singapore;
Nanyang Technol Univ Sch Comp Sci & Engn 50 Nanyang Ave Singapore 639798 Singapore;
Rely-guarantee; compositional verification; concurrency verification; simulation and refinement; isabelle/HOL; operating systems verification;
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:使用符合保证方法验证并发垃圾收集器
机译:使用CADP的异步并发系统的组成验证
机译:使用依赖保证方法验证并发垃圾收集器
机译:用于验证并发数据结构的组成抽象
机译:自上而下和自下而上输入对并发猕猴神经元相关活动的同时影响
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性