The following individuals have contributed code to CVC3 ------------------------------------------------------------ Clark Barrett, New York University Alexander Fuchs, University of Iowa Yeting Ge, New York Univeristy George Hagen, University of Iowa The following individuals contributed code to CVC Lite before it became CVC3 ------------------------------------------------------------ Clark Barrett, New York University Sergey Berezin, Stanford University Cristian Cadar, Stanford University Jake Donham, New York University Yeting Ge, New York Univeristy Vijay Ganesh, Stanford University Deepak Goyal, Calypto Ying Hu, New York University Sean McLaughlin, New York University Mehul Trivedi, Stanford University Michael Veksler, Technion, Israel Daniel Wichs, Stanford University Mark Zavislak, Stanford University Jim Zhuang, Stanford University