Model checking C++ programs | Publicación