JTLV公司 swMATH ID: 8859 软件作者: 阿米尔·普努埃利(Amir Pnueli)、亚尼夫·萨阿尔(Yaniv Sa'ar)、勒诺尔·扎克(Lenore D.Zuck) 描述: Jtlv:开发验证算法的框架。Jtlv是一个计算机辅助验证脚本环境,为算法验证应用程序提供最先进的集成开发人员环境。Jtlv可能被视为一种新的、增强了很多的Tlv[18],使用Java而不是Tlv-basic作为脚本语言。JTLV将其内部解析器附加为Eclipse编辑器,并促进了作为Eclipse插件实现的丰富、通用和抽象的验证开发人员环境。 主页: http://link.springer.com/chapter/10.1007/978-3642-14295-6_18 相关软件: 破旧的;CUDD公司;NuSMV公司;图规划;印度果洛;2APL公司;代理发言;高尔夫;ConGolog公司;biao ji;缓存BDD 引用于: 6文件 全部的 前5名18位作者引用 三 阿米尔·普努利 2 尼尔·皮特曼 2 亚尼夫·萨阿尔 1 伊塔·巴拉班 1 罗德里克·布洛姆 1 朱塞佩·德贾科莫 1 伊丽莎白·菲尔曼 1 阿方索·埃米利奥·杰雷维尼 1 大卫·哈雷 1 芭芭拉·乔布斯曼 1 乌里·克莱因 1 沙哈尔·茂兹 1 法比奥·帕特里齐 1 詹·奥利弗·林格特 1 亚历山德罗·萨埃蒂 1 塞巴斯蒂安·萨迪纳 1 意大利塞格尔 1 Lenore D.扎克。 3篇连载文章中引用 三 计算机与系统科学杂志 1 信息学报 1 人工智能 在3个字段中引用 6 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文