|
Isn't it ironic that a book on verification contains
errors?
Despite the best efforts of my technical
editor and technical reviewers, no book is ever
written without any errors. Until the next edition
of the book, you will find a list of known errors in
the current and past editions of the book.
Errors are listed in page order.
If you find an error not listed here, please send an
email to the
author describing the error and a suggested
solution. Please do not forget to include the
edition and page number, as well as any sample or
figure number where applicable.
However, before reporting what you believe to be an error,
check out the "ask the author" page.
You may find the explanation you are looking for.
|