US agencies say software best practice is to be found in the UK

Praxis has received further recognition and praise for its work in advanced software engineering, following two recent reports on software dependability and assurance from the United States (US).

The first, “Software for Dependable Systems: Sufficient Evidence?”(link 1 below) from the US National Academies, calls for an evidence-based approach to software assurance - something that Praxis has long practised and advocated in the UK. The report refers to several Praxis projects as examples of best practice in software engineering, particularly in the areas of formal methods and programming language design and verification.

The second report, “Software Security Assurance”(link 2 below) from the US Defense Technical Information Center, also identifies Praxis for its work in developing the Correctness by Construction software process, the SPARK programming language, and the SafSec assurance methodology, which Praxis developed for the UK MoD.

Keith Williams, Managing Director at Praxis, commented, “It’s very encouraging to see these significant US bodies identify the technologies and practices that we have advocated for many years. In particular, the call for a more evidence- and product-based approach to software assurance is very welcome.”

References
1. Link to online article 1
2. Link to online article 2