41 citations · 74 across the 5 of their papers we have counts for
1 paper · 1 filter
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the deductive formal verification of high-level properties of control systems with theorem proving, using the Why3 tool. Properties that can be verified with th…