On Site: Static Analysis Course
DATE
September 24th-26th, 2025
SPEAKERS
Jörg Herter
LOCATION
Monterrey, Mexico
On Site: Static Analysis Course
Learn how to use Static Analysis tools based on the Abstract Interpretation so you can prove absence of runtime errors and data races.
Monterrey, Mexico
September 24th-26th, 2025
Main Topics
- General Introduction
- Foundations of Static Analysis and Abstract Interpretation
- Checking Coding Guidelines
- Astrée Key Concepts: The Sound Analyzer
- The Static Analysis Ecosystem
- Efficiently Working with Astrée and RuleChecker
- Modeling the Environment
- Data Races and Deadlocks
- Minimizing False Alarm Rate
- Model-based Code Analysis
- Automating Astrée Analyses
If you have any questions please contact Mariana Poisson.
Email: mariana.poisson@joraltechnologies.com
Phone:613-215-3252
1-613-215-3252
1395 Brickell Ave. Suite 800, Miami FL 33131
23 Precision Dr Kemptville, ON K0G 1J0
info@joraltechnologies.com
PRODUCTS
Manufacturers
Resource center