4 Apr
2012
4 Apr
'12
12:48 p.m.
2012/4/4 C Gosch
Hi there,
I suspect that some here may be experts in formal methods. Can you recommend a book on formal methods (for software engineering)? I do not know about formal methods so far, I can take some theory, and in a book I would like to have some examples and practical issues explained as well as theoretical stuff. Any recommendations?
I'm not sure if that's what you wanted, but you may enjoy working through the Software Foundations online textbook (http://www.cis.upenn.edu/~bcpierce/sf/). It's has a lot of hands on exercises in the Coq proof assistant (which it introduced from scratch). Greetings, Wojciech