## Publications

- S. Merz, H. Vanzetto,
“
*Harnessing
SMT Solvers for TLA+ Proofs*”,
12th International Workshop on Automated Verification of
Critical Systems (AVoCS 2012), p. 53.
- T. Lu, S. Merz, C. Weidenbach,
“
*Formal
Verification Of Pastry Using TLA+*”,
International Workshop on the TLA+ Method and Tools (2012).
- S. Merz, H. Vanzetto,
“
*Automatic
Verification Of TLA+ Proof Obligations With SMT
Solvers*”,
18th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR-18) pp. 289-303.
- D. Cousineau, D. Doligez, L. Lamport,
S. Merz, D. Ricketts and H. Vanzetto,
“
*TLA+
Proofs*”,
D. Giannakopoulou, D. Méry (eds.): 18th International Symposium
on Formal Methods (FM 2012). Springer LNCS 7436, pp. 147-154,
Paris, France, 2012.
*Also available:*
longer version [pdf],
TLA model [tla].
- S. Merz, H. Vanzetto,
“
*Towards
certification of TLA+ proof obligations with SMT
solvers*”,
First International Workshop on Proof eXchange for Theorem
Proving - PxTP 2011.
- S. Akhtar, S. Merz, M. Quinson,
“
*A
High-Level Language for Modeling Algorithms and their
Properties*”,
13th Brazilian Symposium on Formal Methods - SBMF'2010.
- T. Lu, S. Merz, C. Weidenbach,
“
*Model
Checking the Pastry Routing Protocol*”,
10th International Workshop Automated Verification of Critical
Systems (AVOCS 2010), pp. 19-21.
- K. Chaudhuri, D. Doligez, L. Lamport and
S. Merz,
“
*Verifying
Safety Properties with the TLA+ Proof System*”,
J. Giesl, R. Hähnle (eds.): 5th International Joint Conference on
Automated Reasoning (IJCAR 2010). Springer LNCS 6173, pp. 142-148,
Edinburgh, UK, 2010.
- K. Chaudhuri, D. Doligez,
L. Lamport and S. Merz,
“
*A
TLA+ Proof System*”, Workshop on Knowledge Exchange:
Automated Provers and Proof Assistants
(KEAPPA). CEUR
Workshop Proceedings 418, pp. 17–37. November 2008.