Title: Safety and Trust in Artificial Intelligence with Abstract Interpretation