Embedded Files
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
Page updated
Google Sites
Report abuse
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