Constraint-Based Verification

实时连接件的离线一致性测试，李少东，陈霄泓，协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试

中国科学技术大学形式化方法作业Induction章节

英文PDF版本，注意不是中文译本，如果想看中文版的话可以再找找。。。英文版找了半天

The Formal Semantics of Programming Languages pdf格式.

This book is designed for an introductory course on formal languages, automata, computability, and related matters. These topics form a major part of what is known as the theory of computation. A course on this subject matter is now standard in the computer science curriculum and is often taught fairly early in the program. Hence, the prospective audience for this book consists primarily of sophomores and juniors majoring in computer science or computer engineering.

SoC 设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。VC Formal™ 新一代形式化验证解决方案拥有出色的容量、速度和灵活性，可验证某些最艰巨的 SoC 设计挑战，它包括全面的分析和调试技术，能够在 Verdi® 调试平台中快速地找到根本原因。VC Formal 解决方案始终如一地提供更高的性能和容量，发现更多缺陷，针对更大型设计提供更多证据，并通过与 VCS® 功能验证解决方案的本地集成实现更快的覆盖收敛。

formal verification in english

Formal System Verification，State-of the-Art and Future Trends，2018

Scalable Techniques for Formal Verification，2010，Sandip Ray