'spark-formal-verification' Questions - SpiceQA

Questions Tags Users Badges

spark-formal-verification

4 Questions

Newest Active Unanswered Frequent

How to mark unreachable code in Ada/SPARK

user_21444080

• asked Aug 30, 2022

4

2

90

spark-formal-verification ada formal-verification

Do pre and post conditions take the place of in function validation?

user_70616120

• asked Apr 24, 2021

3

3

287

spark-formal-verification spark-ada formal-methods ada formal-verification

Can SPARK be used to prove that Quicksort actually sorts?

user_19371970

• asked Mar 22, 2021

2

1

222

spark-formal-verification spark-ada spark-2014 ada formal-verification

Potential aliasing violation in swap array indexes SPARK-Ada

user_37788920

• asked Nov 30, 2020

4

1

161

spark-formal-verification spark-ada formal-methods ada formal-verification

1 (current)

Hot Questions