3 ms·
I've done this course. It's interesting and makes you think, would recommend if that's what you're looking for. While not my area of expertise, I don't this co
by gpm 6y ago
I've done this course. It's interesting and makes you think, would recommend if that's what you're looking for.
While not my area of expertise, I don't this course is particularly relevant to any practical modern formal methods unless you want to reinvent the world.
- deleted 6y ago[deleted]
- tra3 6y agoIt it applicable to the "practical" (or practiced?) software development?
- gpm 6y agoI wouldn't say so, maybe slightly in that it might help with thought patterns a bit, but in the way that studying advanced mathematics might help not as in you're likely to directly use the skills.
- iaresee 6y agoI took both the intro and advanced version of this course in my undergrad. Academically interesting stuff, but the inability to translate from proved system to implemented and proved system was always frustrating. It was definitey a clear delineation between _computer science_ and _engineering science_ during my undergraduate courses.
- shishir03 6y agoDo you have any suggestions for courses teaching practical formal methods?
- exdsq 6y agoThese aren’t courses, but I recommend looking at TLA+ and Alloy. Some of my colleagues use Isabelle, Coq, and Agda too, but the first two seem most relevant to learn.
- yudlejoza 6y agoThanks for putting it in context. This is exactly what I'm looking for. (making it practical, I'll take care of that myself).