出自计算机科学国家重点实验室

博士研究生
导师：张文辉
邮箱：longteng(at)ios.ac.cn 个人主页：http://lcs.ios.ac.cn/~longteng/
研究方向：公平性、推理证明、抽象，模型检测
个人介绍：

• Long, T., Zhang, W.: Auxiliary constructs for proving liveness in compassion discrete systems..In ATVA. (2010) 276-290
  
• Proving Liveness Property under Strong Global Fairness. May, 2011. Submitted.