|
Formal methods (FMs) study applications of appropriate mathematical tools for solving problems in computer systems. This course gives a broad but solid introduction to formal methods of software engineering (FMSE). We cover various aspects of FMSE and consider their applications in different domains. All theoretical concepts are accompanied with practical real-world examples. The goal is to empower students to design complex software that performs reliably and correctly. After taking this course, a student will be able to design software and analyze its properties using FMs, specifically to:
-
Start the process of creating a formal specification;
-
Formulate a problem formally;
-
Deal with appropriate abstractions;
-
Build and manipulate models, and to
- Integrate FMs with existing system development processes.
A sample syllabus for this course can be downloaded here  .
|
