Publications

Filters: Author is Hernán Vanzetto [Clear All Filters]

2012

S. Merz and H. Vanzetto, “Automatic Verification of TLA + Proof Obligations with SMT Solvers”, in 18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), Mérida, Venezuela, 2012.

S. Merz and H. Vanzetto, “Harnessing SMT Solvers for TLA+ Proofs”, ECEASST, vol. 53, 2012.

D. Cousineau, D. Doligez, L. Lamport, S. Merz, D. Ricketts, and H. Vanzetto, “TLA+ Proofs”, in 18th Intl. Symp. Formal Methods (FM 2012), Paris, France, 2012.