Acknowledgments

Support for cvc5 has been provided by the following organizations:

• AdaCore
• The Air Force Office of Scientific Research (award FA9550-09-1-0596)
• Amazon AWS Automated Reasoning Group
• Centaur (Center for Automated Reasoning at Stanford University)
• Certora
• 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 Ethereum Foundation
• The European Research Council (grant 306595 “STATOR”)
• GE Global Research
• Google
• Intel Corporation
• The Israel Science Foundation (grant 619/21)
• NASA (contract #NNL14AA06C)
• Meta Novi
• The National Science Foundation (grants 0644299, 0914956, 1049495, 1228765 1228768, 1320583, 1656926, 2006407, 2019348, 2110397)
• 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 Center for Blockchain Research
• The Stanford SystemX Alliance
• United Technologies Research Center
• The US-Israel Binational Science Foundation (grant 2020704)

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.