Poster Presentation - 3rd December, 2002

Modelling, Simulation and Formal Analysis of Real Time Client Server Algorithms - Shivani Bhatia
Verification Environment for Distributed Control Applications - B. Vijayalakshmi, Sampada Sonalkar
PCI Protocol Verification - Lakshmi Narasu M P
Cache Controller Verification - Shweta Gehlot, Vijay D'silva
Consistency check between CSMs and HMSCs - S. Soudamini
VHDL Slicer - Viraj Kamat
Control System Design Environment - Amanda Grace
Slicing of Esterel - Aditya Kulkarni
Automatic Generation of Test Cases from Communicating State Machines - Surya Varma R
Automatic Generation of Properties - Lakshmi Narasu M P
Cryptographic Protocol Analyzer - Aldrin John D'souza