张文辉
Wenhui Zhang (English Version of the Homepage)

研究员
中国科学院 软件研究所 计算机科学国家重点实验室
Email: zwh at ios dot ac dot cn

研究方向

形式化方法

  • Formal specification languages, temporal logics
  • Formal software verification technology, logical reasoning and model checking

    学术论文

    科研项目

    程序推理与模型检测工具:

  • VERDS (Verification of Hierarchical Discrete Systems by Symbolic Techniques)
  • VERBS (Verification of Finite State Systems by Bounded Correctness Checking)
  • VERI2 (Verification Condition Generation and Simplification for XYZ/SE Programs)

    教学与研究生培养

    Courses:

  • (1) 形式化方法
  • (2) 模型检测

    学生

    教学奖励

    通信地址

  • 北京8718信箱
  • 北京中关村南四街四号中国科学院软件研究所

    Links

  • DBLP Wenhui Zhang
  • 中国科学院大学及教育业务管理平台
  • 中国计算机学会
  • 招商银行