TLA+ Proofs

  • Denis Cousineau
  • Damien Doligez
  • Stephan Merz
  • Daniel Ricketts
  • Hernan Vanzetto

Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | , Vol 7436: pp. 147-154

This is a short paper describing TLAPS, the TLA+ proof system being developed at the Microsoft Research-INRIA Joint Centre.