Ada a general purpose programming language that incorporates advanced programming features like contracts and object oriented programming support. SPARK is a subset of the latest version of Ada that ...