Formal derivation of hardware

Looks at the need for more formality in hardware design. This is because (a) increasing complexity is pushing present techniques to their limits; and (b) computer systems are more and more often being put in charge of human lives. Systems for aircraft flight control, nuclear reactor shut-down, patient care in hospital and so on must not only be correct they must be seen to be correct. Formal methods are the only practical way to achieve this standard of correctness and reliability