托尔

TTool(海龟工具包)。TURTLE(定时UML和RT-LOTOS环境)是一个实时UML概要文件。TURTLE的语义是通过翻译成RT-LOTOS来正式定义的。TTool通过将海龟图转换为RT-LOTOS规范,并使用RTL生成其可达性图,从而实现海龟剖面图的形式化验证和模拟,该图可使用CADP进行分析、验证和最小化。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 阿普维尔,卢多维奇;皮埃尔·德萨基·桑内斯;Khendek,Ferhat:TURTLE-P:关键和分布式系统正式验证的UML概要(2006)ioport公司