formal-methods

16 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Rodin tool prover - transitivity
user_144267500
•
1
0
17
event-b formal-methods
Equivalence of if-then and implies in OCL statements
user_7663810
•
2
1
172
ocl formal-methods post-conditions
How to understand syntax and translation in Isabelle
user_144293730
•
2
1
191
isabelle verification formal-methods formal-verification syntax
Do pre and post conditions take the place of in function validation?
user_70616120
•
3
3
287
spark-formal-verification spark-ada formal-methods ada formal-verification
how do i stop the pre-condition from failing in the below example in ADA Spark
user_70616120
•
2
1
125
spark-ada formal-methods ada
How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK
user_70616120
•
3
1
93
spark-ada formal-methods ada computer-science
TLA+ error : The invariant Invariants is not a state predicate
user_20568780
•
2
1
273
tlc tla+ formal-methods specifications
Coffee Can Problem in TLA+ : cannot express a task
user_20568780
•
1
1
85
tla+ formal-methods formal-verification language-specifications
Potential aliasing violation in swap array indexes SPARK-Ada
user_37788920
•
4
1
161
spark-formal-verification spark-ada formal-methods ada formal-verification
Why this dafny post-condition is not inferred?
user_114501660
•
2
1
201
formal-methods dafny formal-verification formal-languages assert
Hot Questions