Wenhui Zhang

Research Professor
State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences
Email: zwh at ios dot ac dot cn

Reaseach Areas

Formal methods in computer science:

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

    Papers

    Projects

    Tools:

  • 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)

    Teaching and Supervising

    Courses:

  • (1) Formal Methods
  • (2) Model Checking

    Students

    Honorary Certificates

    Links

  • DBLP Wenhui Zhang
  • DBLP Wenhui Zhang
  • 中国计算机学会(setta21)
  • ARP及cstnet邮件10G
  • cstcloud
  • lcs.ios.ac.cn及ios邮件
  • panda3(zwh,ios3cn)
  • ARP及ios邮件ex01
  • overleafsetta21z5w6Z%W^abskr56jRyGEr5Yd8D
  • researchgate(email,w6ios)
  • mcafee(email,Pi9.)
  • (586179,Pi8)
  • 中国科学院大学及教育业务管理平台(email,w6ios)