Formal Methods Study Group

The Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself