n******0
发帖数: 298 | |
s*********b
发帖数: 815 | 2 不难，还挺有趣。当然也不一定轻松。这门课的关键是要从
直观上理解各种概念。不要硬记定义定理，记住也没用。 |
r*******n
发帖数: 3020 | 3 有没有好的入门书给推荐？ 多谢
下面这本如何，amazon上评价很高，适合初学
Understanding Formal Methods (FACIT) by Jean-Francois Monin and M.G. Hinchey
(Paperback - Jan 17, 2003)
【在 s*********b 的大作中提到】
: 不难，还挺有趣。当然也不一定轻松。这门课的关键是要从
: 直观上理解各种概念。不要硬记定义定理，记住也没用。
|
s*********b
发帖数: 815 | 4 没读过。这两年好像多了好多这类书。当年我们用的是Clarke那本Model Checking。
书薄，缺乏足够的直观描述。用来参考的Logic in Computer Science: Modelling and
Reasoning about Systems还不错，适合入门。后来用的Principles of Program
Analysis和Verification of Reactive Systems: Formal Methods and Algorithms
也写得挺好，不过有点深。Formal Methods就就是应用逻辑+应用抽象代数，覆盖
面挺广。别人喜欢的参考资料未必适合你。不如自己到图书馆多看看，找到自己喜欢的。
Hinchey
【在 r*******n 的大作中提到】
: 有没有好的入门书给推荐？ 多谢
: 下面这本如何，amazon上评价很高，适合初学
: Understanding Formal Methods (FACIT) by Jean-Francois Monin and M.G. Hinchey
: (Paperback - Jan 17, 2003)
|
r*******n
发帖数: 3020 | 5 中肯。 正好图书管有understanding formal methods, 先看看
and
的。
【在 s*********b 的大作中提到】
: 没读过。这两年好像多了好多这类书。当年我们用的是Clarke那本Model Checking。
: 书薄，缺乏足够的直观描述。用来参考的Logic in Computer Science: Modelling and
: Reasoning about Systems还不错，适合入门。后来用的Principles of Program
: Analysis和Verification of Reactive Systems: Formal Methods and Algorithms
: 也写得挺好，不过有点深。Formal Methods就就是应用逻辑+应用抽象代数，覆盖
: 面挺广。别人喜欢的参考资料未必适合你。不如自己到图书馆多看看，找到自己喜欢的。
:
: Hinchey
|
n******0
发帖数: 298 | |
