7 ms·
> you don't have to go full functional verification The amazing thing to me is that Ada code can call SPARK code just fine, and there's crates of SPARK code in
by pyjarrett 3y ago
> you don't have to go full functional verification
The amazing thing to me is that Ada code can call SPARK code just fine, and there's crates of SPARK code in Alire that you can use. It's a huge boost of confidence in the quality of a library that you're using when it has some form of verification.