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
  • [amirlect.ps.gz] Amir Pneuli's Lectures at TIFR, Bombay
  • [main.ps] 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