卡拉卡拉 swMATH ID: 3159 软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。 描述: 用于认证JML中注释的JAVA/JAVACARD程序的KRAKATOA工具。我们描述了用于证明用JML规范注释的JAVA程序的环境的基本结构。我们的方法对于API来说是通用的,因此非常适合JAVACARD小程序认证。它包括三个不同的组件:WHY工具,用于计算带有前置和后置条件注释的核心命令式语言的证明义务,CQQ证明助手,用于建模程序语义和进行证明开发,最后是KRAKATOA工具,我们自己的翻译工具,它读取JAVA文件,生成COQ规范,并将JAVA程序的JAVA语义表示为WHY的输入语言。 主页: http://krakatoa.lri.fr/ 相关软件: Why3号机组;Caduceus公司;JML公司;布吉;规格#;Coq公司;z3型;电子稳定控制系统/Java;简化;VCC公司;VeriFast公司;伊莎贝尔/HOL;凯伊;艾菲尔;Frama-C公司;cvc3型;ACSL公司;回路;PVS公司;达夫尼 引用于: 79文件 全部的 前5名156位作者引用 10 克劳德·马奇 7 Leino,K.Rustan M。 6 Jean-Christophe Filliátre 4 西尔维·博尔多 4 彼得·米勒 三 Böhme,萨沙 三 纪尧姆·梅尔金德 三 扬尼克·莫伊 三 豪尔赫·索萨·品托 三 沃尔夫拉姆·舒尔特 三 托马斯·怀斯 三 沃尔夫,伯克哈特 2 沃尔夫冈·阿伦特 2 大卫·阿斯皮纳尔 2 曼纽尔·巴博萨 2 吉尔·巴特 2 伦纳特·贝林格 2 弗朗索瓦·克莱门特 2 达科斯塔,翁贝托·苏扎 2 玛丽亚·乔昂·弗雷德 2 马丁·霍夫曼 2 巴特·雅各布斯 2 维克多·昆卡 2 Gary T.Leavens。 2 弗朗西斯科·洛戈佐 2 汉斯·沃尔夫冈·洛伊德尔 2 阿纳玛丽亚·马丁斯·莫雷拉 2 米凯拉·梅耶罗 2 阿尔贝托·莫米利亚诺 2 Musicante,Martin A。 2 Paulin Mohring,克莉丝汀 2 斯蒂芬·西格尔(Stephen F.Siegel)。 2 Souza Neto,Plácido A。 2 马蒂亚斯·乌尔布里奇 2 皮埃尔·韦斯 2 蒂莫西·齐科尔。 1 罗莎·阿巴斯 1 萨伊德·阿贝德 1 奥特曼·阿伊特·穆罕默德 1 艾亚德·阿尔卡萨 1 阿里·阿亚德 1 何塞·巴塞拉尔·阿尔梅达 1 安妮迪亚·班纳吉 1 伯恩哈德·贝克特 1 杰斯珀·本特森 1 弗朗索瓦·博博特 1 弗洛里安·博尔 1 查尔斯·布伊拉盖 1 Bouillaguet,昆汀 1 西尔万·博尔梅 1 布凯,法布里斯 1 布鲁姆利,比利·鲍勃 1 理查德·布贝尔 1 卢卡斯·布尔瓦恩 1 维南西奥·卡普雷塔 1 帕特里斯·沙林 1 阿尔贝托·齐法格利翁 1 赫莱内·科拉维扎 1 Sylvain Conchon公司 1 弗雷德里克·达多 1 西尔万·戴勒 1 伊娃·达鲁洛娃 1 马提亚斯·达姆 1 德波尔(Frank S。 1 德伦巴切,简 1 克莱尔·德罗斯 1 马克西米利安·迪拉 1 马尔科·艾尔斯 1 楚其·埃里森 1 勒文特·埃尔科克 1 曼努埃尔·Fähndrich 1 艾米·费尔蒂(Amy P.Felty)。 1 卡洛·阿尔贝托·福里亚 1 霍尔格·加斯特 1 马修·乔治诺 1 克里斯托夫·格拉迪什。 1 格兰迪,霍尔格 1 西蒙·格雷纳 1 朱利安·格罗斯兰伯特 1 林赛·格罗夫斯。 1 弗洛里安·哈夫特曼 1 雷纳·哈内尔 1 约翰·哈特克利夫 1 大卫·豪扎尔 1 埃尔纳德夫·奥尔吉(Hernádvölgyi),伊斯坦布尔T。 1 Jochen Hoenicke公司 1 巴特·雅各布斯 1 德克萨斯州贾法 1 塞萨里·卡利西克 1 乔纳斯·卡斯伯格·辛里奇森 1 弗拉基米尔·克莱巴诺夫 1 亚历山大·克努佩尔 1 亚历山大·克劳斯 1 罗伯特·克雷伯斯 1 塞萨尔·库茨 1 路易吉·利科里 1 卢伦索、科劳迪奥·贝洛 1 肯·马德勒 1 拉尔夫·马提斯 1 斯坦·马特温 …还有56位作者 全部的 前5名引用于16个系列 8 自动推理杂志 三 计算机程序设计科学 三 计算的形式方面 三 计算机科学中的数学 2 理论计算机科学 2 系统设计中的形式化方法 2 逻辑与代数程序设计杂志 1 倒排索引综述 1 计算机与数学及其应用 1 符号计算杂志 1 信息与计算 1 约束条件 1 美国计算机学会期刊 1 计算机科学中的逻辑方法 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 77 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 7 数值分析(65-XX) 4 信息与通信理论、电路(94-XX) 2 偏微分方程(35-XX) 1 组合数学(05-XX) 按年份列出的引文