Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in spark-ada

Multi-Tasking on Embedded Devices with Ravenscar

ada spark-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?

ada spark-ada

"Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior

ada gnat spark-ada high-integrity-systems

How to prove equivalence of two functions?

ada spark-ada

Ada constraint error: Discriminant check failed. What does this mean?

ada spark-ada

How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK

computer-science ada formal-methods spark-ada

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

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

SPARK Ada: Overlays Without Copying

ada spark-ada

Spark-Ada postcondition for array total

ada formal-methods spark-ada spark-2014

Ada/SPARK: should I be using GNATprove? Where can I find it?

ada gnat spark-ada

How can I access a symbol from the linker script in my Ada code?

ada linker-scripts gnat spark-ada

SPARK instantiation error w.r.t. volatile type

data-structures types ada spark-ada

Program verification in SPARK - Counting elements in an array

ada spark-ada

How to prove this invariant?

ada proof invariants proof-of-correctness spark-ada