Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
61
views
4
references
Top references
cited by
26
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,708
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
CVC Lite: A New Implementation of the Cooperating Validity Checker
other
Author(s):
Clark Barrett
,
Sergey Berezin
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Phytosauria
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
Sign in to comment
Book chapters
pp. 70
Termination of Linear Programs
pp. 135
Indexed Predicate Discovery for Unbounded System Verification
pp. 175
DPLL(T): Fast Decision Procedures
pp. 189
Verifying ω-Regular Properties of Markov Chains
pp. 242
Stuck-Free Conformance
pp. 281
Verification via Structure Simulation
pp. 308
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
pp. 321
Widening Arithmetic Automata
pp. 372
Abstract Regular Model Checking
pp. 401
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
pp. 453
Understanding Counterexamples with explain
pp. 457
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
pp. 462
JNuke: Efficient Dynamic Analysis for Java
pp. 475
The UCLID Decision Procedure
pp. 479
MCK: Model Checking the Logic of Knowledge
pp. 496
SAL 2
pp. 510
WSAT: A Tool for Formal Analysis of Web Services
pp. 515
CVC Lite: A New Implementation of the Cooperating Validity Checker
Similar content
3,708
Understanding expressions of public grief: ‘Mourning sickness’, ‘grief‐lite’, or something more?
Authors:
Debra Jackson
,
Kim Usher
Layden's response to the case of joe: Cognitive therapy for a case of borderline personality disorder lite
Authors:
Mary Anne Layden
‘Some studies in machine learning using the game of checkers’
Authors:
A.L Samuel,
See all similar
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