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
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