LARVA公司 swMATH ID: 21408 软件作者: 科伦坡C、佩斯GJ、施耐德G 描述: LARVA:用于Java程序运行时监控的工具。作为保证系统属性的轻量级方法,运行时验证的使用越来越多地应用于实际软件中。在本文中,我们提出了一个工具LARVA,用于Java程序实时属性的运行时验证。属性可以用许多符号表示,包括用秒表、Lustre和持续时间演算的子集丰富的时间自动机。该工具已成功用于许多案例研究,包括处理金融交易的工业系统。LARVA还对实时属性进行分析,以便在可能的情况下计算监控引起的内存和时间开销的上限。此外,它还提供了其他有用的信息,例如监控系统对被监控属性的影响。 主页: http://www.cs.um.edu.mt/svrg/Tools/LARVA/ 相关软件: StaRVOOrS公司;洛拉;Java操作系统;乱涂;Uppaal公司;VeriFast公司;JML公司;日本运通银行;德贾武;github;莫纳;CC-Pi公司;定时对话;SPY公司;奶牛;石溪;z3(零3);DyTa公司;3月;克拉拉 引用于: 8文件 全部的 前5名被22位作者引用 三 戈登·佩斯。 2 克里斯蒂安·科伦坡 2 伊利耶斯·法尔科内 2 蒂埃里·杰伦 2 马尔尚,赫维 2 安托万·罗莱 2 杰拉尔多·施奈德 1 帕特里克·阿贝拉 1 沃尔夫冈·阿伦特 1 劳拉·博奇 1 毛里西奥·卡诺 1 杰苏斯·莫里西奥·奇曼托 1 克劳斯·哈维隆德 1 雨果·A·洛佩兹。 1 鲁米亚纳内科娃 1 奥马尔·恩格纳·蒂莫 1 Doron A.Peled。 1 佩雷斯(Jorge A.Pérez)。 1 斯里尼瓦斯·皮尼塞蒂 1 勒纳德,马蒂厄 1 卡米洛·鲁埃达 1 吉田、Nobuko 4篇连载文章中引用 三 系统设计中的形式化方法 1 信息学报 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 在1个字段中引用 8 计算机科学(68-XX) 按年份列出的引文