Acknowledgments

CVC4 is supported in part by the following organizations:

• The Air Force Office of Scientific Research (award FA9550-09-1-0596)
• Amazon AWS Automated Reasoning Group
• The Defense Advanced Research Projects Agency (awards FA8750-13-2-0241, FA8750-15-C-0113, N66001-18-C-4012, FA8650-18-2-7854, FA8650-18-2-7861)
• The European Research Council (grant 306595 “STATOR”)
• GE Global Research
• Google
• Intel Corporation
• NASA (contract #NNL14AA06C)
• The National Science Foundation (grants 0644299, 0914956, 1049495, 1228765 1228768, 1320583, 1656926)
• The Office of Naval Research (award N68335-17-C-0558)
• The Semiconductor Research Corporation (tasks 1850.001, 1850.002)
• The Stanford Agile Hardware Center
• The Stanford SystemX Alliance
• United Technologies Research Center

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.