Training provider
Praxis
Bath, London, Loughborough or on site
We currently provide training courses in the following topics:
The Yellow Book – Engineers’ Overview;
Software Engineering with SPARK;
Black-Belt Spark;
High-Integrity Concurrent Software Design with RavenSPARK;
UML to SPARK;
Air Traffic Services – Safety Management;
Safety Management for Defence Systems;
Safety Engineering Techniques;
Functional Safety Assessment;
Independent Safety Audit;
Reveal – Systems Engineering;
Formal Methods (Z and VDM).
