@article{konnov:hal-02280888, TITLE = {{TLA+ Model Checking Made Symbolic}}, AUTHOR = {Konnov, Igor and Kukovec, Jure and Tran, Thanh-Hai}, URL = {https://hal.science/hal-02280888}, JOURNAL = {{Proceedings of the ACM on Programming Languages}}, PUBLISHER = {{ACM}}, VOLUME = {3}, NUMBER = {OOPSLA}, PAGES = {123:1--123:30}, YEAR = {2019}, DOI = {10.1145/3360549}, KEYWORDS = {Model checking ; TLA+ ; SMT}, PDF = {https://hal.science/hal-02280888/file/camera.pdf}, HAL_ID = {hal-02280888}, HAL_VERSION = {v1}, }