暨大主页 联系我们

  • 在线咨询 >
首页  通知公告

计算机科学系学术讲座(八)

题  目: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

  • 数学系学术讲座(五十六) 2019-11-04
  • 网络空间安全学院学术讲座(二十八、二十九) 2019-10-31
  • 数学系学术讲座(五十三) 2019-10-28
  • 网络空间安全学院学术讲座(二十六、二十七) 2019-10-28
  • 信息科学技术学院/网络空间安全学院关于2019年吴渔夫科技创新育人奖的通知 2019-10-25
  • 数学系学术讲座(五十二) 2019-10-25
  • 网络空间安全学院学术讲座(二十一) 2019-10-17
  • 网络空间安全学院学术讲座(二十) 2019-10-10
  • 网络空间安全学院学术讲座(十八、十九) 2019-10-10
  • 计算机科学系学术讲座(七) 2019-10-08
  • 数学系学术讲座(四十八) 2019-09-19
  • 网络空间安全学院学术讲座(十七) 2019-09-19
  • 数学系学术讲座(四十六、四十七) 2019-09-18
  • 每页 14 记录  总共 639 记录 
  • 第一页 <<上一页 下一页>> 尾页
  • 页码 26/46 跳转到 

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

联系电话:

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

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

学院团委微信平台

扫一扫关注学院

  • 首页
  • 学院概况
    • 院长致辞
    • 学院简介
    • 学院领导
    • 机构设置
    • 院系中心
  • 师资力量
    • 师资概况
    • 高端人才
    • 师资力量
      • 数学系
        • 正高
        • 副高
        • 中级及以下
      • 电子工程系
        • 正高
        • 副高
        • 中级及以下
      • 计算机科学系
        • 正高
        • 副高
        • 中级及以下
      • 计算中心
        • 正高
        • 副高
        • 中级及以下
  • 人才培养
    • 本科教学
      • 培养方案一(信息)
      • 培养方案二(网安)
      • 通知公示
      • 本科各专业课表
      • 考试安排表
    • 研究生教育
      • 学位点简介
      • 招生简章
      • 通知公告
      • 常用资料
  • 科学研究
    • 科研项目
    • 科研成果
    • 实验室建设
  • 人才招聘
  • 学生园地
  • 党群之窗
    • 党群动态
    • 理论学习
    • 组织工作
  • 招生就业
  • 人才引进