Student Theses 2001-2002

E.K. Janees, Decision Procedures and Inductive Proofs using equational logic., M.Tech. Thesis, IIT Bombay, Jan. 2002, Guide: Prof. G. Sivakumar. <>br>
Achint Kaur Bhutiani, An Environment for Design and Synthesis of Process Control Software, M.Tech. Thesis, IIT Bombay, Jan. 2002, Guide: Prof. G. Sivakumar.
Naveen Chandra R, Verification of Communicating Reactive State Machines, M.Tech. Thesis, IIT Bombay, Jan. 2002, Guide: Prof. S. Ramesh. [ps]
Priyanka Kerhalkar, Test case generation from high level design models, M.Tech. Thesis, IIT Bombay, Jan. 2002, Guide: Prof. S. Ramesh. [ps]
Nitin Raut, Timing Analysis of Transistor Level Asynchronous Circuits, M.Tech. Thesis, IIT Bombay, Feb. 2002, Guide: Prof. S. Chakraborty.
Swetha Khetavath, Tool Support for Message Sequence Charts, M.Tech. Thesis, IIT Bombay, Jan. 2002, Guide: Prof. S. Ramesh. [ps]
R. Angrish, Probabilistic Timing Analysis of Asynchronous Systems, B.Tech. Dissertation, IIT Bombay, April 2001, Guide: Prof. S. Chakraborty.
N. Vinod, Slicing Communicating Reactive State Machines, B.Tech. Dissertation, IIT Bombay, April 2001, Guide: Prof. S. Ramesh.