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
Tools:
Verds
(Verifier for Concurrent Transition System Models)
Verbs
(Verification based on Bounded Semantics Model Checking)
Academic Activities
PC for RIVF'12
PC for ATVA'11
PC for TASE'11
PC for RIVF'10
PC for ICIS'10
PC for ATVA'10
PC for ACSD'10
Conferences
Teaching and Supervising
Courses: (1) Formal Verification of Programs; (2)
Model Checking
Students
Links
DBLP Wenhui Zhang
中国科学院研究生院
及
教育业务管理平台
招商银行