CSC-487
BS
Formal Methods for Software Engineering
(DE) Domain Elective
Theory: 3 Cr. Hrs
Total: 3 Cr. Hrs
Objectives: Main objective of the course is to familiarize students with formal techniques/methods used during different phases of software development life cycle to enhance reliability and quality of software in complex domains.
Contents: Introduction and background to formal methods; System specification using: Predicate logic, Algebraic specification, Temporal logic; System Modeling using a formal notation like Z or SMV; System Analysis: Static and dynamic analysis of software by different static checking and testing techniques; System Verification: Verification of a software system using a model checker like Spin or NuSMV; Abstraction: Use of abstraction to analyze complex systems where ordinary application of formal techniques is not possible.
In Programmes
BS
BS (Computer Science)
Electives Pool —
Elective ·
Software Engineering (Fall 2026 onwards)