CVC Lite: A new implementation of the cooperating validity checker: Category B

C Barrett, S Berezin - … : 16th International Conference, CAV 2004, Boston …, 2004 - Springer
We describe a tool called CVC Lite (CVCL), an automated theorem prover for formulas in a
union of first-order theories. CVCL supports a set of theories which are useful in verification …
被引用次数：396 相关文章

CVC Lite: A New Implementation of the Cooperating Validity Checker

C Barrett, S Berezin - Computer Aided Verification - infona.pl
We describe a tool called CVC Lite (CVCL), an automated theorem prover for formulas in a
union of first-order theories. CVCL supports a set of theories which are useful in verification …

CVC lite: A new implementation of the cooperating validity checker. Category B

C Barrett, S Berezin - Lecture Notes in Computer Science …, 2004 - nyuscholars.nyu.edu
We describe a tool called CVC Lite (CVCL), an automated theorem prover for formulas in a
union of first-order theories. CVCL supports a set of theories which are useful in verification …

[引用][C] CVC Lite: A new implementation of the cooperating validity checker: Category B

C BARRETT, S BEREZIN - Lecture notes in computer science, 2004 - pascal-francis.inist.fr
CVC Lite: A new implementation of the cooperating validity checker: Category B CNRS Inist
Pascal-Francis CNRS Pascal and Francis Bibliographic Databases Simple search Advanced …

CVC Lite: A New Implementation of the Cooperating Validity Checker

C Barrett, S Berezin - Springer
We describe a tool called CVC Lite (CVCL), an automated theorem prover for formulas in a
union of first-order theories. CVCL supports a set of theories which are useful in verification …

[引用][C] CVC Lite: A New Implementation of the Cooperating Validity Checker

C Barrett, S Berezin - Computer Aided Verification, 2004 - cir.nii.ac.jp

[引用][C] CVC Lite: A new implementation of the cooperating validity checker category B

CW BARRETT - CAV, 2004, 2004 - cir.nii.ac.jp

[引用][C] CVC Lite: A New Implementation of the Cooperating Validity Checker

C Barrett, S Berezin - Computer Aided Verification, 2004 - Springer

[引用][C] CVC Lite: A new implementation of the cooperating validity checker: Category B

C BARRETT, S BEREZIN - Lecture notes in computer science, 2004 - Springer