Computer Aided Verification

other

Editor(s): Armin Biere , Roderick Bloem

Publication date (Print): 2014

Publisher: Springer International Publishing

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

ISBN (Print): 978-3-319-08866-2

ISBN (Electronic): 978-3-319-08867-9

Publication date (Print): 2014

DOI: 10.1007/978-3-319-08867-9

SO-VID: 8d00e438-2bab-4e2f-a6c5-48683b78d636

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Authors: Leonid Ryzhyk, Adam Walker
Static Analysis Using the Cloud
Authors: Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Authors: Long H. Pham, Jun Sun, Quang Loc Le

See all cited by