JTLV公司

Jtlv验证算法开发框架。Jtlv是一个计算机辅助验证脚本环境,为算法验证应用程序提供最先进的集成开发环境。Jtlv可以被看作是一种新的、增强了很多的Tlv[18],脚本语言是Java而不是Tlv basic。JTLV将其内部解析器作为一个Eclipse编辑器附加在一起,并为实现为Eclipse插件的丰富、通用和抽象的验证开发人员环境提供了便利。