1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Yannick Moy
The automation offered by modern program proof tools goes hand in hand with the capability to interact with the tool when the verification fails. The SPARK proof tool tries to help…