Hernán Vanzetto

According to our database1, Hernán Vanzetto authored at least 7 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

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


  Loading...