Who Should You Attend?
This course is aimed at software validation and verification engineers, QA engineers and
developers of safety-critical code.
This course is a deep dive into static analysis of safety-critical applications.
It provides comprehensive coverage of Static Analysis and Abstract Interpretation,
the design and usage of the static analyzer Astrée which aims to formally prove the
absence of runtime errors and data races. The course features practical exercises
with the tool concluding each topic.
We have 8 spots available. If your interested in pricing and further course details please
Call or email ROBERT CAMPBELL (613) 851-2155