Publications

Export 3 results:
Sort by: Author Title Type [ Year (Asc)]
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.