12 ms·
What would you advise looking into in regards to formal methods? Any particular software, books, or talks?
by bostonvaulter2 9y ago
What would you advise looking into in regards to formal methods? Any particular software, books, or talks?
- nextos 9y agoConcrete Semantics is an excellent free book http://www.concrete-semantics.org/ http://www.concrete-semantics.org/ written by some well-known names in the field. It's a good place to begin. The book itself contains references to much more advanced works such as Nielson & Nielson or TAPL. It doesn't cover one part of formal methods, (probabilistic) model checking.
- sevensor 9y agoThanks for this -- I've been looking for recommendations on resources for HOL and this looks like a good one.