Faults in software may lead to :-

• financial loss, loss of business and reputation

• loss of human life, to damage to life and limb

• harm to the environment

• litigation

Where there is a significant risk of this nature, high integrity is
required of the computer system. High integrity can be achieved
through using rigorous, mathematically-based development methods.

The best protection against litigation following such a disaster
is to use best practice, and to apply it to the best of one's ability.
No court of law can argue negligence if best practice has been
thoroughly applied.

The B-Method represents best practice
for high-integrity systems development.

The B-Toolkit can help you apply it well
and with confidence