E0 272 Formal Methods in Software Engineering

January-April 2022, 2:00-3:30pm, Mon, Wed (Online), CSA. Teams meeting link. Google Meet link.

First meeting: 3:30pm Wed 05 Jan 2022.

Credits 3:1

Instructors: Deepak D'Souza and K. V. Raghavan.

TAs: Alvin George, P. Habeeb, and C. Raseek.

Lecture slides


Software is used for an increasing range of business and personal activities, and to control vital processes and tasks. This makes it important that software be developed efficiently, and the software be correct and reliable. However, software development and maintenance has largely remained mostly a human activity, with sub-optimal usage of tools and formal processes. This course will equip students with knowledge of the latest advances in the role of tools and formal methods in software engineering. The course will focus on all stages of software engineering, from requirements, design, coding, verification, and testing. The methodology will be to study a series of advanced tools that address challenges faced in these steps. This will include both an introduction to the theoretical underpinnings of these tools, as well as hands-on exploration in class as well as in assignments.


Prerequisites: Exposure to programming, and the basics of mathematical logic and discrete structures.

Tentative grading breakup

Assignments: 60%
Midsem exam: 20%
Final exam: 20%

Schedule of Exams

Mid-semester exam: 3pm Fri 04th Mar 2022

Final exam: 10am, Monday 25 April 2022