ACM的通信
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2013年10月
从ACM的通信
使用可达性分析和连续性进行锁相环的正式验证
我们提出了一种可扩展和正式的技术，以验证充电泵锁相环（PLL）的锁定时间和稳定性。
从ACM的通信
技术视角：我们可以验证网络物理系统吗？
制定用于混合离散模型模型的有效符号验证技术，已被证明是一个具有挑战性的问题。Althoff等人的下文。在这个任务中报告一个主要的里程碑。
该研究档案提供了对过去问题发表的所有研究文章的访问。
我们提出了一种可扩展和正式的技术，以验证充电泵锁相环（PLL）的锁定时间和稳定性。
制定用于混合离散模型模型的有效符号验证技术，已被证明是一个具有挑战性的问题。Althoff等人的下文。在这个任务中报告一个主要的里程碑。