AbsInt Astrée Training – Online

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.  It also covers the RuleChecker module to check coding guidelines and compute code metrics.  The course features practical exercises with the tool concluding each topic.

This course is aimed at software validation and verification engineers, QA engineers and developers of safety-critical code. After completing this comprehensive training,
you will have the necessary skills to:

• Set up your own Astrée analyses
• Investigate and review findings
• Automate analyses and integrate them into the development process
• Deeper understand state-of-the-art static program analysis
• Write safer, more robust C code

Online Training:

• Structure
  • Online via video conference
  • Not more than 10 students recommended/session
  • Modular structure, e.g. 3 or 4 hours/module
  • One module on the same day & time of the week
  • Bi-weekly or even daily schedule possible as well
  • Scope: 24 hours