Altran Praxis
Praxis High Integrity Systems (formerly known as Praxis Critical Systems) is a British software house that specialises in critical systems. They are based in Bath, England and also have offices in London. The company was originally set up as Praxis by Martyn Thomas. It uses formal methods such as the Z notation and the SPARK toolset in its approach to improving the reliability of software engineering. A major project (using Z) has been the United Kingdom's National Air Traffic Services (NATS).
See also
- Anthony Hall, a former employee, now a consultant
External links
 | This article about a company of the UK is a stub. You can help Wikipedia by expanding it. |