AI explainability and robustness validation solutions based on formal methods.