量词消去法论文

基于归纳不变式的混成系统安全性验证
论文摘要随着嵌入式系统在安全攸关领域的广泛应用，嵌入式系统的研究也逐步升温。由于混成系统既可以描述嵌入式系统离散的控制逻辑，又可以描述其连续的硬件行为，因此成为嵌入式系统理想的...