CS206 Lecture 01
Formal Methods in Computer Science

G. Sivakumar
Computer Science Department
IIT Bombay
siva@iitb.ac.in
http://www.cse.iitb.ac.in/$\sim$siva

Tue, Dec 31, 2002

Plan for Lecture 01

• Why Formal Methods?
• What is Logic?
• Applications of Logic in CS
  • Specification and Verification
  • Artificial Intelligence
  • Programming Languages
• Broad Course Overview