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

Abstract State Machines, Alloy, B, VDM, and Z 

SMT Solvers for Rodin

other

Author(s): David Déharbe , Pascal Fontaine , Yoann Guyot , Laurent Voisin

Publication date (Print): 2012

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 7

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

Z3: An Efficient SMT Solver

Leonardo de Moura, Nikolaj Bjørner (2008)

0 comments Cited 133 times – based on 0 reviews

Bookmark

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

veriT: An Open, Trustable and Efficient SMT-Solver

Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe … (2009)

0 comments Cited 19 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 194-207

DOI: 10.1007/978-3-642-30885-7_14

SO-VID: cae0041c-d3b4-4591-8eef-2d7558c2fedd

History

Data availability:

SMT Solvers for Rodin

Read this book at

Related collections

ScienceOpen Research

Most cited references 7

Z3: An Efficient SMT Solver

Simplification by Cooperating Decision Procedures

veriT: An Open, Trustable and Efficient SMT-Solver

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 605

Cited by 5