×

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

在1个字段中引用

8 计算机科学(68-XX)

按年份列出的引文