CertiCAN认证CAN分析及其结果
摘要
工具书类
建议
证明定时Büchi自动机的空性 时间系统的形式化建模与分析 摘要 时间自动机的模型检查器广泛用于验证安全关键的实时系统。 最先进的工具通过复杂的抽象实现了可伸缩性。 我们的目标是进一步增加对其核查结果的信任,在。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
作者标记
限定符
研究文章