language: en

Automated Proof Support for Reasoning about Distributed Mobile Programs

[A thesis submitted in partial fulfilment of the requirements for the degree of Bachelor of Technology in Computer Science and Engineering]

by B Karthikeyan T R Vishwanath

[under the guidance of Dr Sanjiva Prasad]

Department of Computer Science & Engineering Indian Institute of Technology, Delhi
May 1997