1 citations · 1 across the 1 of their papers we have counts for
1 paper
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella +2
Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedba…