Full contract verification for ATL using symbolic execution | Publicación