59 citations · 65 across the 3 of their papers we have counts for
1 paper · 1 filter
Bouillaguet Quentin, Bobot François, Sighireanu Mihaela +1
Cooperation between verification methods is crucial to tackle the challenging problem of software verification. The paper focuses on the verification of C programs using pointers a…