Comment by eggy
6 months ago
Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!
6 months ago
Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!
I think we can indeed forget about it.
Android has zero lines of Ada code, why should I care about it in this case?