The First Tool Qualification Symposium was held on the 9th and 10th of April 2013 in Munich. At this event, AbsInt has made a presentation on Automatic Qualification of Abstract Interpretation-based Static Analysis Tools.
The goal of the symposium is to bring together people of different industries (avionic, automotive,..) and in different roles (tool user, tool provider, safety consultants,...) to compare their requirements, approaches and experiences with tool qualification.
The slides are available HERE
For the agenda, please HERE
Last changed: May 31 2013 at 12:39 PM
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE