Static Analysis

Testing, Model Checking and Static Analysis – Dream Team or Rivals?

Paper presentation.

Testing, Model Checking and Static Analysis – Dream Team or Rivals?

Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, different techniques have been established in industry and academia. For instance, coding guidelines such as the MISRA …