spark-2014

5 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Making a precondition in SPARK checking array element reports 'array index check might fail'
user_61210440
•
2
1
122
spark-2014 z3 ada arrays
How to make Pre and Post conditions for recursive functions in SPARK?
user_61210440
•
5
2
386
spark-2014 dafny ada recursion
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
Failed assert that libsparkcrypto SHA256 results are equal
user_61837350
•
4
2
118
spark-ada spark-2014 gnat ada sha256
SPARK Integer overflow check
user_7322840
•
4
3
1404
spark-2014 ada2012 ada
  • 1
Hot Questions