什么是 CTL 模型检查？

Question

我被要求撰写关于 CTL 模型检查的硕士论文，实际上我不确定哪家公司可能需要该主题的技能。谁能告诉我将来和/或在经济中可以使用哪些 CTL 模型检查？

CTL 模型检查到底是什么？据我了解，这是一种指定属性正确性的机制。

Answer 1

以https://en.wikipedia.org/wiki/Model_checking开头

放心模型检查在行业中被大量使用，尤其是在硬件社区。 （即那些生产计算机硬件的公司，无论是 CPU、GPU、FPGA 还是任何其他类型的设备。）

如果您提出具体问题，Stack-overflow 效果最好。尝试制定更具体的问题，而不是基于“意见”的问题；你会得到更好的回应。