Publications

1. S. Merz, H. Vanzetto, “Harnessing SMT Solvers for TLA+ Proofs”, 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), p. 53.
2. T. Lu, S. Merz, C. Weidenbach, “Formal Verification Of Pastry Using TLA+”, International Workshop on the TLA+ Method and Tools (2012).
3. 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.
4. 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].
5. S. Merz, H. Vanzetto, “Towards certification of TLA+ proof obligations with SMT solvers”, First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011.
6. S. Akhtar, S. Merz, M. Quinson, “A High-Level Language for Modeling Algorithms and their Properties”, 13th Brazilian Symposium on Formal Methods - SBMF'2010.
7. 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.
8. 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.
9. 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.