| 2.2 | |||
| Applied Formal Methods | |||
| home page | |||
|
Formal methods is a body of mathematically-based 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 |
|||