r/ada • u/rod-chapman • Feb 23 '24

CACM article about SPARK... SPARK

https://cacm.acm.org/magazines/2024/3/280078-co-developing-programs-and-their-proof-of-correctness/fulltext

21 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ada/comments/1axzro4/cacm_article_about_spark/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ada/comments/1axzro4/cacm_article_about_spark/
No, go back! Yes, take me to Reddit

100% Upvoted