Research Corner - SPARK at NFM 2016 and SEFM 2016 Conferences

by Yannick Moy in Formal Verification, Papers and Slides – May 13, 2016

Precise support for bitwise and modular arithmetic in SPARK has been presented previously in this blog post. For the scientific part of it, see the paper we are presenting at NASA Formal Methods symposium 2016.

Generation of counterexamples in SPARK has been presented previously in this blog post. For the scientific part of it, see the paper we are presenting at Software Engineering and Formal Methods conference 2016.

comments powered by Disqus