An R&D Centre at IIT Bombay

Lecture notes on Formal Methods

  • [CS615] Formal Specification and Verification of Programs Course at IITB
  • [Files] Lecture Series on Software Design of Embeded Systems, Synchronous Approach, IITB
  • [] Amir Pneuli's Lectures at TIFR, Bombay
  • [] Lecture at IIT Bombay on Validation of Synchronous Reactive Systems by Halbwachs, Raymond and Grenoble - France
  • [plcbook.pdf] Automated Manufacturing Systems PLCs (Second Draft) by Hugh Jack