The development and deployment of formal methods in the UK

Cliff B. Jones, Martyn Thomas

UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequenc…