List Question
20 TechQA 2018-05-24T13:23:01.687000Equivalence between C/frama-c and Spark-ada
309 views
Asked by Eliott.CH
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
Failed assert that libsparkcrypto SHA256 results are equal
180 views
Asked by WhaleDancer
In need of the lexical and the grammar sheet of the ada programming language spark 2014
117 views
Asked by M.Mar
Proving Floor_Log2 in Spark
558 views
Asked by addaon
Find factor of a number
266 views
Asked by PoliteMan
Spark-Ada postcondition for array total
767 views
Asked by digitig
Instantiating non-library-level package in SPARK Ada
278 views
Asked by digitig
Can SPARK be used to prove that Quicksort actually sorts?
306 views
Asked by MWB
How to use Assert and loop_invariants
482 views
Asked by PoliteMan
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
GNATprove : "overflow check might fail" in exponentiation function
311 views
Asked by Michael Bueno
Self dependency in Spark 2014
193 views
Asked by Architek
Describing a String type in Ada
375 views
Asked by rid
Expression for finding an index in an array
263 views
Asked by rid
SPARK Integer overflow check
1.7k views
Asked by rid
How to prove a Ada/SPARK precondition on a function embedded in a double loop
619 views
Asked by LT 'syreal' Jones
How to prove a SPARK.Text_IO procedure precondition will hold
493 views
Asked by LT 'syreal' Jones
"Assertion might Fail" and Precondition doesn't solve it
223 views
Asked by Simon