咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 assertion-based ...
  • 1 篇 arbitrary precis...
  • 1 篇 jml
  • 1 篇 behavioral inter...
  • 1 篇 formal methods
  • 1 篇 java modeling la...
  • 1 篇 specification la...

机构

  • 1 篇 concordia univ d...

作者

  • 1 篇 chalin p

语言

  • 1 篇 英文
检索条件"主题词=arbitrary precision numeric types"
1 条 记 录,以下是1-10 订阅
排序:
Improving JML: For a safer and more effective language
收藏 引用
12th International Symposium of Formal Methods Europe
作者: Chalin, P Concordia Univ Dept Comp Sci Montreal PQ Canada
An unusually high number of published JML specifications are invalid or inconsistent, including cases from the security critical area of smart card applications. We claim that these specification errors are due to a m... 详细信息
来源: 评论