RiTHM公司 swMATH ID: 16439 软件作者： Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 说明： RiTHM：为c程序启用时间触发运行时验证的工具。我们介绍了工具RiTHM（运行时时间触发异构监控）。RiTHM将一个正在检查的C程序和一组LTL属性作为输入，并生成一个插入指令的C程序，该程序在运行时由时间触发监控器进行验证。RiTHM提供了两种基于静态分析和控制理论的技术，以最大限度地减少输入C程序的仪表化和监控干预。该监护仪的验证决策程序是健全和完整的，并利用GPU多核心技术来加速和封装监测任务。 主页： http://dl.acm.org/citation.cfm？id=2494596 相关软件： CBMC公司;NuSMV公司;自旋蛋白;爆炸;LTL自动化;UMC4M公司;C2M公司;MSVL公司;工具链;CPA检查器;商店2;日本运通银行;有限责任公司;塔马林;违约;阿克斯;ConfiChair公司;飞天螳螂;ProVerify公司;AVISPA公司 引用于： 4文件 全部的 前5名12位作者引用 2 段振华 2 田聪 2 张楠 1 谢·伯科维奇 1 博尔祖·博纳克达尔普尔 1 伊利耶斯·法尔科内 1 塞巴斯蒂安·费奇迈斯特 1 阿里·卡西姆 1 帕斯卡·拉福卡德 1 王蒙 1 Yang，Kai（杨凯） 1 姚晨光 2篇连载文章中引用 2 理论计算机科学 2 系统设计中的形式化方法 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文