A Gentle Introduction to Static Program Analysis for Verification
In this talk we will give you a gentle introduction into static program analysis and doing that give an overview of the following topics
Verification methods
Why testing is not sufficient
Abstract interpretation- Safety properties
What competences are needed to perform a safe static program analysis and comply with the safety standards.
For a better understanding we use some examples of defects in industry code and the consequences they brought with them.
Speaker is Reinhard Wilhelm
#Static program analysis #Abstract interpretation #Run-time errors #Bug Chasing #Testing
