Hernán Vanzetto

According to our database, Hernán Vanzetto authored at least 10 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2019

WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.

Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018

Encoding TLA⁺ into unsorted and many-sorted first-order logic.

Stephan Merz, Hernán Vanzetto

Sci. Comput. Program., 2018

2016

Encoding TLA ^+ + into Many-Sorted First-Order Logic.

Stephan Merz, Hernán Vanzetto

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Encoding TLA+ set theory into many-sorted first-order logic.

Stephan Merz, Hernán Vanzetto

CoRR, 2015

2014

Proof automation and type synthesis for set theory in the context of TLA+. (Automatisation de preuves et synthèse de types pour la théorie des ensembles dans le contexte de TLA+).

Hernán Vanzetto

PhD thesis, 2014

Refinement Types for tla +.

Stephan Merz, Hernán Vanzetto

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2012

Harnessing SMT Solvers for TLA+ Proofs.

Stephan Merz, Hernán Vanzetto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Automatic Verification of TLA + Proof Obligations with SMT Solvers.

Stephan Merz, Hernán Vanzetto

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

TLA + Proofs.

Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto

Proceedings of the FM 2012: Formal Methods, 2012

2011

Towards certification of TLA+ proof obligations with SMT solvers.

Stephan Merz, Hernán Vanzetto

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011