JayHorn公司 swMATH编号： 25903 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡·桑切斯；马丁·施瓦夫 描述： JayHorn是一个用于Java的软件模型检查工具。JayHorn试图找到一个证据，证明Java程序中的某些坏状态永远无法到达。这些错误状态是通过添加运行时断言来指定的（其中可能会生成一些断言，例如，对象引用在被访问之前不得为Null）。JayHorn试图在精确性方面出错，即当它无法证明断言始终成立时，它会声称断言可能被违反（这称为稳健性）。JayHorn目前适用于Java，它使用单个线程，没有动态类加载，并且不在静态初始化器中执行复杂操作。 主页： http://jayhorn.github.io/jayhorn/ 源代码： https://github.com/jayhorn/jayhorn网站 关键词： R（右）;R包;arXiv_发布 相关软件： SeaHorn公司;z3（零3）;FunArray（趣味阵列）;JPF-SE公司;JBMC公司;垫片;麻糬;CoVaC公司;HMC公司;拉赫夫特;对数;Ciao公司;CiaoPP公司 引用于： 3文件 全部的 前5名12位作者引用 1 朱利安·布莱恩 1 约翰·加拉赫（John P.Gallagher）。 1 劳雷·贡诺德 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 比肖克桑·卡夫 1 马克西米利亚诺·克莱门 1 埃里克·科斯金 1 佩德罗·洛佩兹·加西亚 1 大卫·莫尼奥（David P.Monniaux）。 1 何塞·弗朗西斯科·莫拉莱斯 1 大雄县Terauchi 1 不，Hiroshi 0连载引用 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文