7 citations · 12 across the 6 of their papers we have counts for
1 paper · 2 filters
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…