孔维强

基本信息Personal Information

教授

博士生导师

硕士生导师

性别:男

毕业院校:北陆先端科学技术大学院大学

学位:博士

在职信息:在职

所在单位:软件学院

学科:软件工程

办公地点:综合楼301

联系方式:0411-62274401

电子邮箱:

扫描关注
  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 可信软件技术:通过形式验证(Formal Verification)技术来提高软件系统可靠性的研究。形式验证的主要思想为:将软件系统(设计或程序代码)进行抽象建模,利用公式对系统应具有的性质(Property)进行描述,之后使用半自动的定理证明(Theorem Proving)或全自动的模型检查(Model Checking)技术分析系统模型的所有运行行为,以检验模型是否满足所描述的性质。