AVERIST: An Algorithmic Verifier for Stability | Publicación