@conference {186, title = {Automatic Verification of TLA + Proof Obligations with SMT Solvers}, booktitle = {18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18)}, year = {2012}, publisher = {Springer}, organization = {Springer}, address = {M{\'e}rida, Venezuela}, author = {Stephan Merz and Hern{\'a}n Vanzetto}, editor = {Nikolaj Bj{\o}rner and Andrei Voronkov} }