7 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Henning Basold
In this work we develop a fully automatic verification procedure of safety properties of Scade programs. We transform each such program into an SMT instance (Satisfiability Modulo…