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): 2010

Pages: 348-370

DOI: 10.1007/978-3-642-17511-4_20

SO-VID: 346ba5f6-e55a-4047-96f3-125c9bb23f8a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 71

Software Verification Using k-Induction
Authors: Alastair Donaldson, Leopold Haller, Daniel Kroening …
Viper: A Verification Infrastructure for Permission-Based Reasoning
Authors: Peter C. Müller, Malte Schwerhoff, Alexander J. Summers
Ivy: safety verification by interactive generalization
Authors: Oded Padon, Kenneth McMillan, Aurojit Panda …

See all cited by

Dafny: An Automatic Program Verifier for Functional Correctness

Read this book at