[CS 6110] This is a class taught by my PhD advisor, Ganesh Gopalakrishnan. The class covers some of the same topics as we will, but Ganesh is taking a different approach. His class will study appliations of formal methods, then use model checking (and other) tools, and finally learn the theory. We, in CS 586, are going to learn why to apply formal methods first, then learn some theory, then implement the algorithms and we may learn to use some of the tools later. I postponed learning the tools because I think that if you understand the algorithms, you can learn the tools more quickly on your own. Understanding the algorithms is harder than learning to use a tool. The advantage of Ganesh' approach is that you see the algorithms in action before you learn the theory which may help you learn the theory better.
Posted by jones at September 9, 2003 08:53 AM