……如果有人对模型检测的历史感兴趣，可以看看图灵奖得主 Edmunde Clarke 的论文《模型检测的诞生》（Birth of Model Checking）；如果你感兴趣，还可以读他的教材《模型检测》（Model Checking），另一本较新的教材是 Baier 和 Katoen 写的《模型检测原理》（Principles of Model Checking）。
…anyone interested in the history of model checking check out Turing Laureate Edmunde Clarke's paper "Birth of Model Checking", if your interested his textbook "Model Checking", and a more recent text is "Principles of Model Checking" by Baier&Katoen.
形式化验证：《模型检测原理》（Principles of Model Checking，作者 Baier、Katoen）。它涵盖了基于线性时间和分支时间属性对并发系统进行建模和验证的基础知识。书中也提到了时间自动机，不过对于那些更想验证……的人来说
Formal verification: Principles of model checking (Baier, Katoen) It covers the basics of modeling and verifying concurrent systems against linear-time and branching-time properties. It also mentions timed automata, but those more interested in verifying…
……如果有人对模型检测的历史感兴趣，可以看看图灵奖得主 Edmunde Clarke 的论文《模型检测的诞生》（Birth of Model Checking）；如果你感兴趣，还可以读他的教材《模型检测》（Model Checking），另一本较新的教材是 Baier 和 Katoen 写的《模型检测原理》（Principles of Model Checking）。
…anyone interested in the history of model checking check out Turing Laureate Edmunde Clarke's paper "Birth of Model Checking", if your interested his textbook "Model Checking", and a more recent text is "Principles of Model Checking" by Baier&Katoen.
形式化验证：《模型检测原理》（Principles of Model Checking，作者 Baier、Katoen）。它涵盖了基于线性时间和分支时间属性对并发系统进行建模和验证的基础知识。书中也提到了时间自动机，不过对于那些更想验证……的人来说
Formal verification: Principles of model checking (Baier, Katoen) It covers the basics of modeling and verifying concurrent systems against linear-time and branching-time properties. It also mentions timed automata, but those more interested in verifying…