As you asking I am telling Indian Institute of Science, (IISc), Bangalore Formal Methods in Software Engineering course used for an increasing range of business and personal activities, and to control vital processes and tasks.

This program for makes focus on all stages of software engineering, from requirements, design, coding, verification, and testing.

Syllabus


Conceptual modeling of requirements using logic (Tool: Alloy).

Algorithmic verification (model-checking) of design/models (Tool: SAL/Spin).

Verifying functional correctness: Abstract Data Types and refinement (Tool: Rodin/Z-Eves), Hoare logic assertions, refinement of a program with respect to abstract ADT specification. (Tool: VCC)

White-box testing of applications (Tool: Pex).

Prerequisites: Exposure to programming, and the basics of mathematical logic and discrete structures.
Tentative grading breakup
Assignments: 60%
Midsem exam: 20%
Final exam: 20%


Address
Indian Institute of Science, (IISc), Bangalore
Bangalore
Karnataka
India
Contact Name : Prof. P. Balaram
Contact No : 080-23600757
Contact Email : regr@admin.iisc.ernet.in