There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 4

Record: found
Abstract: not found
Article: not found

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek Oppen (1979)

0 comments Cited 102 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

CVC: A Cooperating Validity Checker

Aaron Stump, Clark Barrett, David Dill (2002)

0 comments Cited 18 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Validity checking for combinations of theories with equality

Clark Barrett, David Dill, Jeremy R. Levitt (1996)

0 comments Cited 16 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 515-518

DOI: 10.1007/978-3-540-27813-9_49

SO-VID: 1b0b1dab-ae66-48e8-ad86-c48ef13e0ddf

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 26

CVC3
Authors: Clark Barrett, Cesare Tinelli
What’s Decidable About Arrays?
Authors: Aaron R. Bradley, Zohar Manna, Henny B. Sipma
A Combination Method for Generating Interpolants
Authors: Greta Yorsh, Madanlal Musuvathi

See all cited by

CVC Lite: A New Implementation of the Cooperating Validity Checker

Read this book at

Related collections

Phytosauria

Most cited references 4

Simplification by Cooperating Decision Procedures

CVC: A Cooperating Validity Checker

Validity checking for combinations of theories with equality

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,238

Cited by 26