Inauguration




Introduction to Formal Methods

S. Ramesh

Software Verification with ACE and STeP

Anup Bhattacharjee

Lab Session : Usage of ACE and STeP
Examples : Maximum, Alarm


Babita Sharma