×

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文件

按年份列出的引文