|
|
|
|
|
|
by pyjarrett
833 days 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. |
|
|