LTL模型检测相关论文
随着实时嵌入式系统在汽车和航空电子等领域的复杂性和安全性日益突出,应用严格分析技术以确保系统可预测就显得非常重要。因此统......
在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一......
