Dernières analyses techniques, événements et actualités produits.

The Power of Focus - How to Optimize a Model Checker for Embedded Software

Unlike random algorithms or Abstract Interpretation, Model Checking allows to analyze the dynamic behavior of software with mathematical completeness. Use cases are for example robustness analysis, structural test case generation or test case generation from requirements. However, the complexity of the analysis task makes it challenging to apply Model Checking to industrial applications. The recent and much-noticed case study “ Benchmarking Software Model Checkers on Automotive Code ” at the 202

Dr. Tino Teige