不变式生成相关论文
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式......
混成系统作为信息-物理融合系统的数学模型,是指一类包含连续动态系统和离散事件系统、两者又相互作用的复杂动力系统.混成系统中......
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。其安全性验证问题难以解决，即使是线性混成自动机，它的可达性问题也被证明......
