A formal verification framework for static analysis | Publicación