arXiv·· 14 天前AI 评分20
面向安全规约的基于场景组合式统计模型检测
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
AI 导读
该研究提出一种基于场景的组合式统计模型检测（SMC）框架，用于安全与 co-safety 规约，可高效分析由基础场景构成的复合场景。现有 SMC 方法独立分析每个复合场景，需大量昂贵仿真，在场景共享结构时产生显著冗余计算。
来源：arXiv · arxiv.org