SpiceQA
Questions
Tags
Users
Badges
high-integrity-systems
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Can a program fix itself (Variables)? (safety critical enviroment)
user_16668650
0
•
asked Aug 9, 2022
2
6
127
high-integrity-systems
misra
embedded
c
"Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior
user_10155303
0
•
asked Jul 3, 2020
3
2
232
spark-ada
gnat
high-integrity-systems
ada
1
(current)
Hot Questions