5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.PL2018
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…
cs.LO2017★ 5 cited
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving
Zakaria Chihani, François Bobot, Sébastien Bardin
The theory of quantifier-free bit-vectors (QF_BV) is of paramount importance in software verification. The standard approach for satisfiability checking reduces the bit-vector prob…