Date: Wednesday, April, 5th 2017 – Thursday, April, 6th 2017.
Time: 9:00 p.m. 4:00 p.m.
Location: 39555 Orchard Hill Place Suite 600 Novi, Michigan 48375 USA
Price: Reach out to Robert Campbell for a quote.
Who Should 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 e-Mail ROBERT CAMPBELL (613)-851-2155