SPARK 2014 – Future directions

by Admin in Videos – February 23, 2013

Stuart Mathews gave this talk at the recent SPARK User Group. In it he presents the next generation of the SPARK language which will extend the range of programs that can be automatically verified and provides an innovative means for combing formal verification and testing.

comments powered by Disqus