My first experience with SPARK-Ada
Sharing my first experience with formal checking
Tags: ada, spark, formalchecking, bufferoverflow