Statements (32)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
automated theorem prover |
gptkbp:developedBy |
gptkb:Google
gptkb:New_York_University gptkb:Stanford_University gptkb:University_of_Iowa |
gptkbp:firstReleased |
2011
|
https://www.w3.org/2000/01/rdf-schema#label |
CVC4
|
gptkbp:license |
gptkb:BSD_license
|
gptkbp:openSource |
true
|
gptkbp:participatedIn |
SMT-COMP
|
gptkbp:predecessor |
CVC3
|
gptkbp:successor |
cvc5
|
gptkbp:supports |
gptkb:first-order_logic
floating-point arithmetic quantifiers strings arrays uninterpreted functions bit-vectors linear arithmetic Satisfiability Modulo Theories (SMT) algebraic datatypes nonlinear arithmetic |
gptkbp:usedIn |
formal verification
software analysis hardware verification SMT-COMP |
gptkbp:website |
https://cvc4.github.io/
|
gptkbp:writtenBy |
gptkb:C++
|
gptkbp:bfsParent |
gptkb:Automated_Reasoning
|
gptkbp:bfsLayer |
5
|