随着计算机技术的飞速发展，计算机系统的规模越来越大，复杂性也不断增加，要保证系统的正确性越来越困难；同时，随着计算机系统越来越多地应用于对安全性和可靠性要求非常高的领域，如电话交换网络、航空宇航系统、电力系统、物联网等，系统故障所带来的后果越来越严重。刻画这类实时系统在运行中存在的不确定性，检验这类系统运行的可信性，是需要解决的重要科学问题。本书针对这些科学问题提供了一系列解决方案。本书内容新颖、原创性强、受益面广。本书是作者近年来跟踪国际研究热点，结合国内产业界面临的实际问题开展一系列研究的成果。本书的研究属于应用基础研究，适合高年级本科生或研究生阅读，也可供相关领域科研工作者参考使用。