SPARK Answers

How does SPARK incorporate Formal Methods?