Software Verification with BLAST

other

Author(s): Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Grégoire Sutre

Publication date (Online): April 15 2003

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

Author and book information

Book Chapter

Publication date (Print): 2003

Publication date (Online): April 15 2003

Pages: 235-239

DOI: 10.1007/3-540-44829-2_17

SO-VID: 361c8965-d284-47ab-b506-999405442f8c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 26

Comprehensive formal verification of an OS microkernel
Authors: Toby Murray, Rafal Kolanski, Gernot Heiser …
Abstract Regular Model Checking
Authors: Ahmed Bouajjani, Peter Habermehl, Tomas Vojnar
Better Termination Proving through Cooperation
Authors: Marc Brockschmidt, Byron Cook, Carsten Fuhs

See all cited by