• 【学习时刻】北大经济研究所常务副所长苏剑:“稳”字当头,用改革稳定企业家和百姓信心 2019-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • [02-25] Towards Verified and Certifiable Subsystems

    文章来源:  |  发布时间:2019-02-21  |  【打印】 【关闭

      

    老时时彩20110601001 www.egmp.com.cn   Title: Towards Verified and Certifiable Subsystems 

      Speaker: Prof.  Burkhart Wolff, University Paris-Sud 11 

      Time: 15:00 pm, Feb. 25th (Monday), 2019 

      Venue: Lecture room (Room 334), Building #5, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences 

      Abstract: 本报告主要介绍Isabelle/HOL中开发的本体框架Isa_DOF,该框架提供一种支持强类型的本体定义语言,并通过IsabelleIDE支持系统建模、验证与文档的平滑集成,从而解决系统安全认证过程中形式化模型/证据和非形式化文档之间的鸿沟。Isa_DOF框架支持系统文档的编写、确认和证据检查,并在Isabelle中与形式规范和形式证据进行良好的互动,通过不断地确认形式化和非形式化部分之间的一致性,解决大型系统安全认证中的关键问题。最后介绍本框架的一个应用案例:符合CENELEC规范的嵌入式铁路系统安全关键组件开发与验证。 

      Biography: Burkhart Wolff是法国巴黎第十一大学(University Paris-Sud 11)的教授,VALS算法、语言和系统验证)实验室主任。主要从事形式化验证、系统安全认证、形式化测试等研究工作,参与了欧盟EUROMILS重大项目、法国Paral-ITP 项目、HOL-TestGen-XT项目等,研制了HOL-OCL模型驱动分析工具,HOL-Boogie、HOL-CSP等形式验证工具和HOL-TestGen等测试工具。 Wolff教授的团队目前正在开展PST项目研究,构建一个基于Isabelle/HOL的持续验证与认证环境(CVCE)工具链。Wolff教授目前研究项目也包括编程和规范语言的语义表示,以及验证和测试技术在相关领域的应用。  homepage:  https://www.lri.fr/~wolff/  

  • 【学习时刻】北大经济研究所常务副所长苏剑:“稳”字当头,用改革稳定企业家和百姓信心 2019-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09