University of California, Santa Barbara
Department of Computer Science
Verification Laboratory - VLab
VLab web pages moved to:
http://www.cs.ucsb.edu/~vlab/