TWO DAY STATIC ANALYSIS TRAINING COURSE. DR. DANIEL KAESTNER

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.

Course Description
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

mailto:robert.campbell@joraltechnologies.com

2018-01-12T02:13:40+00:00