34 citations · 45 across the 15 of their papers we have counts for
1 paper · 1 filter
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…