Acknowledgments

The development of CVC3 is supported in part by

AdaCore
Air Force Office of Scientific Research (award FA9550-09-1-0596)
Intel Corporation
National Science Foundation (grants 0237422, 0551645, 0644299, and 0914956, )
New York University
Semiconductor Research Corporation (contract 2008-TJ-1850)

Any opinions, findings and conclusions or recommendations expressed in this site are those of the authors and do not necessarily reflect the views of the organizations listed above.