6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Lilian Burdy, David Déharbe, Étienne Prun
The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as At…