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

veriT: An Open, Trustable and Efficient SMT-Solver

other

Author(s): Thomas Bouton , Diego Caminha B. de Oliveira , David Déharbe , Pascal Fontaine

Publication date (Print): 2009

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

Most cited references 9

Record: found
Abstract: not found
Article: not found

A Refinement Strategy for Circus

Ana Elizabeth Cavalcanti, Augusto de Almeida Sampaio, Jim Woodcock (2003)

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

Bookmark

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

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

Pascal Fontaine, Jean-Yves Marion, Stephan Merz … (2006)

0 comments Cited 13 times – based on 0 reviews

Bookmark

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

System Description: E 0.81

Stephan Schulz (2004)

0 comments Cited 13 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 151-156

DOI: 10.1007/978-3-642-02959-2_12

SO-VID: 50854787-c9d8-4361-bd91-c0cd12f6240b

History

Data availability:

veriT: An Open, Trustable and Efficient SMT-Solver

Read this book at

Related collections

ScienceOpen Research

Most cited references 9

A Refinement Strategy for Circus

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

System Description: E 0.81

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,669

Cited by 19