spark-ada

23 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
SPARK Ada: Overlays Without Copying
user_143399330
•
4
3
192
spark-ada ada
How can I access a symbol from the linker script in my Ada code?
user_39652700
•
4
1
141
spark-ada gnat ada linker-scripts
Ada/SPARK: should I be using GNATprove? Where can I find it?
user_13284930
•
3
1
288
spark-ada gnat ada
How to access a parameter of a procedure in Pre/Post contracts of a procedure/funtion that has the the procedure as access parameter?
user_161059730
•
3
1
111
spark-ada ada
How is the `'Old` attribute in a **Post** contract handled for access types that might got deallocated inside the function or procedure?
user_161059730
•
4
2
145
spark-ada ada
How to check for Storage_Error in Spark_Ada
user_161059730
•
2
2
329
spark-ada ada
Do pre and post conditions take the place of in function validation?
user_70616120
•
3
3
287
spark-formal-verification spark-ada formal-methods ada formal-verification
Ada GNATprove insints that 1 is not >= 0
user_155132110
•
3
2
166
spark-ada proof-of-correctness ada invariants proof
how do i stop the pre-condition from failing in the below example in ADA Spark
user_70616120
•
2
1
125
spark-ada formal-methods ada
How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK
user_70616120
•
3
1
93
spark-ada formal-methods ada computer-science
Hot Questions