JBMC公司 swMATH ID: 25908 软件作者: 卢卡斯·科尔代罗(Lucas Cordeiro);帕斯卡·凯塞利(Pascal Kesseli);Daniel Kroening;Peter Schrammel;马雷克·特提克 描述: JBMC是Java程序的有界模型检查器。它检查运行时异常和用户定义的断言。通过展开程序中的循环并将结果公式传递给决策过程来执行验证。 主页: https://www.cprover.org/jbmc/ 相关软件: OpenJML(打开JML);KeY公司;JML单位;标识哈希映射;质量保证计划;黛西;纳吉尼;弗洛克;毒蛇;Why3号机组;梅蒂塔斯基;z3(零3);布吉;数学SAT5;CVC4型;VeriFast公司;d密封;HOL灯;霍尔;Frama-C公司 引用于: 2文件 全部的 前5名10位作者引用 2 马蒂亚斯·乌尔布里奇 1 罗莎·阿巴西 1 沃尔夫冈·阿伦特 1 伊娃·达鲁洛娃 1 马丁·德·波尔(Martin J.M.de Boer)。 1 De Gouw,施蒂恩 1 Christian Antonius荣格 1 乔纳斯·克拉姆罗斯 1 乔纳斯·希夫尔 1 亚历山大·维格尔 0连载引用 在2个字段中引用 2 计算机科学(68至XX) 1 数值分析(65-XX) 按年份列出的引文