spark-ada

23 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Proving Select Sort algorithm using SPARK
user_155132110
•
3
1
200
spark-ada proof-of-correctness ada invariants proof
How to prove this invariant?
user_154719590
•
8
1
369
spark-ada proof-of-correctness ada invariants proof
Can SPARK be used to prove that Quicksort actually sorts?
user_19371970
•
2
1
222
spark-formal-verification spark-ada spark-2014 ada formal-verification
Ada SPARK convert string to integer
user_151243220
•
4
3
351
spark-ada ada
Failed assert that libsparkcrypto SHA256 results are equal
user_61837350
•
4
2
118
spark-ada spark-2014 gnat ada sha256
Installing ada libraries from github -- to keep getting file not found error
user_37829110
•
2
1
111
spark-ada ada
Ada constraint error: Discriminant check failed. What does this mean?
user_37829110
•
3
1
622
spark-ada ada
Ada complaining that I've added a volatile object in a function call to generic type when not volatile
user_37829110
•
2
1
96
spark-ada ada
Potential aliasing violation in swap array indexes SPARK-Ada
user_37788920
•
4
1
161
spark-formal-verification spark-ada formal-methods ada formal-verification
How to prove equivalence of two functions?
user_126363060
•
3
1
193
spark-ada ada
Hot Questions