Quentin Bouillaguet

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Model Validation

Computational Models

Top Venues

Publications

Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. VMCAI (2019)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. CoRR (2018)