软件的安全性问题越来越突出,当下,除了应用同行评审和软件测试等进行验证外,还可应用形式化验证在项目早期尽快发现软件缺陷。形......

近些年来,随着多核硬件以及云平台的兴起,高质量的异步程序(asynchronous programs)变得越来越重要。而在实时(real-time)系统中,......