[1] This role is continued under the banner of high-tech engineering consultancy services provided by the rest of the Altran group.
Altran UK as a whole has offices in Bath, Bristol, London, Loughborough, Manchester, Slough and Coventry.
The company Praxis Systems Limited was founded by Martyn Thomas and David Bean in 1983: it was incorporated on 1 June 1983 and commenced business on 1 July 1983.
[citation needed] A distinguishing feature of the former Praxis office's is its extensive use of formal methods such as the Z notation and the SPARK toolset (acquired through the takeover of the developers Program Validation Limited in 1994) in its approach to improving the reliability of software engineering.
[3] A major project using Z has been an enhancement for the United Kingdom's National Air Traffic Services (NATS).