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

CVC4

other

Author(s): Clark Barrett , Christopher L. Conway , Morgan Deters , Liana Hadarean , Dejan Jovanović , Tim King , Andrew Reynolds , Cesare Tinelli

Publication date (Print): 2011

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 171-177

DOI: 10.1007/978-3-642-22110-1_14

SO-VID: bc5737b3-ac33-4520-a559-1bb066e70d0f

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 61

Automating Separation Logic Using SMT
Authors: Ruzica Piskac, Thomas Wies, Damien Zufferey
Satisfiability Modulo Theories
Authors: Clark Barrett, Cesare Tinelli
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Authors: Andrew Reynolds, Morgan Deters, Viktor Kuncak …

See all cited by