Finding Your Way Through Formal Verification provides an introduction to formal verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you’re not yet sure it is right for your needs. Or you may need to plan and supervise formal verification activity as a part of a larger verification objective.
You can download a FREE, full eBook edition pdf in English here, and also purchase printed copies of the English edition through Amazon (ISBN-13: 978-1986274111).