"Refinement reflection: complete verification with SMT."

Niki Vazou et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics