59 citations · 65 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 59 cited
A Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot +2
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of su…
cs.PL2018★ 1 cited
Exploiting Pointer Analysis in Memory Models for Deductive Verification
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…