计算机科学系学术讲座（八）

题  目：Testing Based Formal Verification for Software Quality Assurance and Cost Reduction内容简介：Testing and formal verification are two important means for software verification and validation, but they suffer from critical challenges. Testing shows the presence of bugs but never their absence. Formal verification can show the correctness for correct programs but not for incorrect progra...

2019-11-04

地址：广州市黄埔大道西601号 暨南大学（邮编：510632)

联系电话：

电子邮箱：oxky@jnu.edu.cn

版权所有 © 暨南大学信息科学技术学院 粤ICP备12087612号

学院团委微信平台

扫一扫关注学院