formal-verification

31 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to mark unreachable code in Ada/SPARK
user_21444080
•
4
2
90
spark-formal-verification ada formal-verification
Dafny - Specifying that the largest element less than a given element is returned
user_197673530
•
1
1
50
verification dafny formal-verification specifications
Verifying Account Transfer in Dafny
user_192093330
•
3
2
46
dafny formal-verification
Modelling finite field arithmetic mod p in Z3
user_175245960
•
1
0
69
finite-field smt z3 formal-verification
Is there a way to apply the rule to a specific assumption in Isabelle?
user_144293730
•
1
1
77
isabelle verification formal-verification
What is the difference between Symbolic and Concrete model checking when the search is bounded in time?
user_82395020
•
1
0
82
uppaal state-space model-checking verification formal-verification
How to prove that x < y → x ≤ y - 2 if both are odd or both are even in Lean?
user_29078490
•
2
2
96
lean formal-verification
Deleting element at specific index failing in Dafny
user_106865710
•
1
1
175
induction dafny formal-verification
Calling Z3 as black box from Ocaml
user_140823850
•
2
1
65
satisfiability z3 first-order-logic formal-verification ocaml
How to understand syntax and translation in Isabelle
user_144293730
•
2
1
191
isabelle verification formal-methods formal-verification syntax
Hot Questions