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

Software Verification Using k-Induction

other

Author(s): Alastair F. Donaldson , Leopold Haller , Daniel Kroening , Philipp Rümmer

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

Most cited references 12

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

Dafny: An Automatic Program Verifier for Functional Correctness

K. Rustan M. Leino (2010)

0 comments Cited 71 times – based on 0 reviews

Bookmark

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

The Spec# Programming System: An Overview

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte (2005)

0 comments Cited 58 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Temporal Induction by Incremental SAT Solving

Niklas Een, Niklas Sörensson (2003)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 351-368

DOI: 10.1007/978-3-642-23702-7_26

SO-VID: c74ebd06-3949-47b3-b8d8-4018ef21a8c9

License:

http://www.springer.com/tdm

History

Data availability:

Software Verification Using k-Induction

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 12

Dafny: An Automatic Program Verifier for Functional Correctness

The Spec# Programming System: An Overview

Temporal Induction by Incremental SAT Solving

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,077

Cited by 15