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

Software Verification with BLAST

Read this book at