reTLA: Towards an automatic transpiler from TLA+ to VMT. Kukovec, J., Goel, A., Konnov, I., Merz, S., & Sakallah, K. In TLA+ Conference, pages 1-3, St. Louis, MO, USA, September, 2022.
reTLA: Towards an automatic transpiler from TLA+ to VMT [pdf]Paper  bibtex   9 downloads  

Downloads: 9