Project Description
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 You 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
What is JORAL Training Centre?
We believe for customers to develop competitive products in 2018 they need the BEST IDEAS with the BEST TOOLS.
JORAL Technologies represents leading edge companies from around the world offering our customers with the LEADING EDGE courses both ONLINE and ONSITE.