List Question
20 TechQA 2022-09-26T16:32:28.890000Self dependency in Spark 2014
193 views
Asked by Architek
Making a precondition in SPARK checking array element reports 'array index check might fail'
216 views
Asked by Andreas
How to make Pre and Post conditions for recursive functions in SPARK?
731 views
Asked by Andreas
Can SPARK be used to prove that Quicksort actually sorts?
306 views
Asked by MWB
Failed assert that libsparkcrypto SHA256 results are equal
180 views
Asked by WhaleDancer
Postcondition on a procedure doesn't prove even though the same condition is asserted and true at the end of procedure
313 views
Asked by Dmitry Petukhov
Find factor of a number
266 views
Asked by PoliteMan
How to use Assert and loop_invariants
482 views
Asked by PoliteMan
Proving Floor_Log2 in Spark
558 views
Asked by addaon
In need of the lexical and the grammar sheet of the ada programming language spark 2014
117 views
Asked by M.Mar
GNATprove : "overflow check might fail" in exponentiation function
311 views
Asked by Michael Bueno
Equivalence between C/frama-c and Spark-ada
309 views
Asked by Eliott.CH
"Assertion might Fail" and Precondition doesn't solve it
223 views
Asked by Simon
How to prove a SPARK.Text_IO procedure precondition will hold
493 views
Asked by LT 'syreal' Jones
How to prove a Ada/SPARK precondition on a function embedded in a double loop
619 views
Asked by LT 'syreal' Jones
SPARK Integer overflow check
1.7k views
Asked by rid
Expression for finding an index in an array
263 views
Asked by rid
Describing a String type in Ada
375 views
Asked by rid
Instantiating non-library-level package in SPARK Ada
278 views
Asked by digitig
Spark-Ada postcondition for array total
767 views
Asked by digitig