SNG480 FORMAL METHODS IN SPECIFICATION AND DESIGN
| Course Code: |
3890480 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
5.0 |
| Department: |
Software Engineering |
| Language of Instruction: |
English |
| Level of Study: |
Undergraduate |
| Course Coordinator: |
|
| Offered Semester: |
Fall or Spring Semesters. |
Course Content
Introduction to the use of mathematical models of software systems for their specification and validation. Topics include finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques.
