An algorithmic framework which can be used to prove the safety of AI systems or help to improve it.