2.2  
Applied Formal Methods  
home page  
Formal methods is a body of mathematicallybased techniques, often supported by reasoning tools, that offers rigorous ways to model, design, and analyze computational systems. The course focuses on several specific applications of the use and implementation of formal tools and techniques. 



math foundations  
∆ formal methods  
artificial intelligence  
algorithms  
languages  
HCI  
interface  
computer graphics  
computer ethics  
UW classes  


Topics 
