This book clearly explains how to do probabilistic calculations to accomplish SIL verification for safety systems. Starting with a description of the safety lifecycle, the authors show where and how SIL verification fits into the key activities from conceptual design through commissioning.