P
Jul 9, 2020Proving the correctness of a binary search procedure with SPARK/Ada
Introduction SPARK/Ada is a language derived from Ada that allows for a formal checking (i...
Jul 9, 20209 min read7 reactions0 comments
Back to articles
Tag archive
#formalchecking
M
May 25, 2019My first experience with SPARK-Ada
Sharing my first experience with formal checking
May 25, 20196 min read8 reactions4 comments