# Hernán Vanzetto

According to our database

Collaborative distances:

^{1}, Hernán Vanzetto authored at least 7 papers between 2012 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Encoding TLA

^{+}into unsorted and many-sorted first-order logic.
Sci. Comput. Program., 2018

2016

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

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

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+).

PhD thesis, 2014

Refinement Types for tla +.

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

2012

Harnessing SMT Solvers for TLA+ Proofs.

ECEASST, 2012

Automatic Verification of TLA + Proof Obligations with SMT Solvers.

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

TLA + Proofs.

Proceedings of the FM 2012: Formal Methods, 2012